3 ms·
Check out mathlib for LEAN, the pace of proofs being added here is breathtaking: https://github.com/leanprover-community/mathlib4 https://github.com/leanprover-
by luma 2y ago
Check out mathlib for LEAN, the pace of proofs being added here is breathtaking: https://github.com/leanprover-community/mathlib4 https://github.com/leanprover-community/mathlib4