8 ms·
You 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.
by Evbn 14y ago
You 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.