From 0c72f0d5e2cd018895fd246e2b6463a7457e87e2 Mon Sep 17 00:00:00 2001 From: Bryan Gin-ge Chen Date: Thu, 9 Jan 2025 17:44:20 -0500 Subject: [PATCH] Update templates/1000-missing.html --- templates/1000-missing.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/templates/1000-missing.html b/templates/1000-missing.html index 36052858a..ecad4f54a 100644 --- a/templates/1000-missing.html +++ b/templates/1000-missing.html @@ -4,7 +4,7 @@ {% markdown %} # Missing theorems from [Freek Wiedijk's](https://www.cs.ru.nl/~freek/) [1000+ theorems project](https://1000-plus.github.io/) These theorems are not yet formalized in Lean (or, these formalisations are not entered in the database yet). -Currently there are {{hundred_theorems|rejectattr('formalized')|list|length}} of them. +Currently there are {{thousand_theorems|rejectattr('formalized')|list|length}} of them. Here is the list of the formalized theorems. {% for theorem in thousand_theorems|rejectattr('formalized') %} * {{ theorem.id }}: {{ theorem.title }}