Formal to Formal Mathematics Benchmark - View it on GitHub
Star
420
Rank
92919