Proof of concept of https://blogs.ams.org/mathgradblog/2017/10/15/machine-checked-proof/
The input would be a sequence of latex written proof the output would be boolean True or False
dendisuhubdy/machine-generated-proof
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|