/countmmproofs

A very simple C program to (over)estimate the number of proofs in a given Metamath database file (.mm), really by counting occurrences of $=

Primary LanguageCGNU General Public License v3.0GPL-3.0

Stargazers