7 ms·
This looks interesting. I am not really familiar with lean, etc... Could I use this to formalize/verify a proof from a paper?
by universa1 2mo ago
This looks interesting. I am not really familiar with lean, etc... Could I use this to formalize/verify a proof from a paper?
- trenchgun 2mo agoYes, assuming the stuff it depends on is already formalized.
- zitterbewegung 2mo agoWith Aristotle you could formalize a proof from only the text of a paper.