3 ms·
My preferred proof assistant is definitely Metamath, I think it just needs a big company to come along and build an awesome front end for it and it will become
by drchewbacca 7y ago
My preferred proof assistant is definitely Metamath, I think it just needs a big company to come along and build an awesome front end for it and it will become the standard.