+ for <a href="http://coq.inria.fr/">Coq 8</a>:
+ <a href="http://lambdadelta.info/download/grundlagen_2.v">grundlagen_2.v</a>
+ (revised <span class="emph gamma">2015-02</span>).
+ </li>
+ <li>
+ The specification of Landau's "Grundlagen der Analysis"