deploy site from 6c6e802

100-missing.html

@@ -51,6 +51,7 @@
 <h1 id="missing-theorems-from-freek-wiedijks-list-of-100-theorems" class="markdown-heading">Missing theorems from <a href="https://www.cs.ru.nl/~freek/">Freek Wiedijk's</a> <a href="https://www.cs.ru.nl/~freek/100/">list of 100 theorems</a> <a class="hover-link" href="#missing-theorems-from-freek-wiedijks-list-of-100-theorems">#</a></h1>
 <p>These theorems are not yet formalized in Lean.
 Currently there are 19 of them.
+Among these, 0 have their statement formalized.
 <a href="100.html">Here</a> is the list of the formalized theorems.</p>
 <ul>
 <li>
@@ -111,6 +112,7 @@ <h1 id="missing-theorems-from-freek-wiedijks-list-of-100-theorems" class="markdo
 <p>92: Pick’s Theorem</p>
 </li>
 </ul>
+<p>The following theorem(s) have just their statement formalized. Contributions to their proofs are welcome.</p>
 
   </main>