Comment by universa1
2 months ago
This looks interesting. I am not really familiar with lean, etc... Could I use this to formalize/verify a proof from a paper?
2 months ago
This looks interesting. I am not really familiar with lean, etc... Could I use this to formalize/verify a proof from a paper?
With Aristotle you could formalize a proof from only the text of a paper.
Yes, assuming the stuff it depends on is already formalized.