| ▲ | andoando 10 days ago | |
Is there a standard library/repository of all existing mathematical proofs one can add to? | ||
| ▲ | ants_everywhere 10 days ago | parent [-] | |
There are a few. The lean one is at https://github.com/leanprover-community/mathlib4 | ||
| ▲ | andoando 10 days ago | |
Is there a standard library/repository of all existing mathematical proofs one can add to? | ||
| ▲ | ants_everywhere 10 days ago | parent [-] | |
There are a few. The lean one is at https://github.com/leanprover-community/mathlib4 | ||