| ▲ | FuckButtons an hour ago | |
Other than the by the lean certificate you mean. | ||
| ▲ | measurablefunc 13 minutes ago | parent [-] | |
Lean has bugs & proofs of ⊥ that have gone undetected previously. | ||
| ▲ | FuckButtons an hour ago | |
Other than the by the lean certificate you mean. | ||
| ▲ | measurablefunc 13 minutes ago | parent [-] | |
Lean has bugs & proofs of ⊥ that have gone undetected previously. | ||