This looks interesting. I am not really familiar with lean, etc... Could I use t... | Hacker News

Hacker Timesnew | past | comments | ask | show | jobs | submit

universa1 14 days ago | parent | context | favorite | on: Solving 20 Erdős Problems with 20 Codex Accounts R...

This looks interesting. I am not really familiar with lean, etc... Could I use this to formalize/verify a proof from a paper?

zitterbewegung 13 days ago | [–]

With Aristotle you could formalize a proof from only the text of a paper.

trenchgun 13 days ago | [–]

Yes, assuming the stuff it depends on is already formalized.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact