3 ms·
Wouldn't the easiest way to check this proof be to enter it into something like Coq? That way you'd only have to understand how to translate each step rather th
by ArtB 14y ago
Wouldn't the easiest way to check this proof be to enter it into something like Coq? That way you'd only have to understand how to translate each step rather than learn each field.
- deleted 14y ago[deleted]
- Evbn 14y agoYou would still have to write 100 pages of Coq code, and write every definition properly, which may be just as hard as learning the field.