2 ms·
Scroll down: "I'd like to have on a usb key a user friendly software that could parse a math article to check the proofs in it without having to learn how to u
by GFK_of_xmaspast 11y ago
Scroll down:
"I'd like to have on a usb key a user friendly software that could parse a math article to check the proofs in it without having to learn how to use stuff like Coq and highlight the possible gaps. But this may sound unrealistic, at least for now."