[email protected] schrieb am Dienstag, 10. März 2026 um 01:39:54 UTC+1:
Loading a database into metamath-exe prints the number of $a and $p
statements in it. When I do this with the latest 'develop' commit
(22ae5646a8949ef1d08fb5dd9d0aca735af3f16f), I get
The source has 246644 statements; 2977 are $a and 47069 are $p.
So while the total number of $a and $p statements exceeds 50000, we haven't
actually reached 50000 theorems yet.
You are right, so we have more than 50.000 axioms, definitions and
theorems.
--
You received this message because you are subscribed to the Google Groups
"Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion visit
https://groups.google.com/d/msgid/metamath/e17589fb-db8d-43a5-bd09-4a95cac7a7bfn%40googlegroups.com.
