4 ms·

I've not used Coq for some time but previously toyed around with ProofWeb [0] which is a web interface to server side Coq. This seems like a much better approac

by wlkr 7y ago

I've not used Coq for some time but previously toyed around with ProofWeb [0] which is a web interface to server side Coq. This seems like a much better approach and highly active. [0]: http://proofweb.cs.ru.nl/ http://proofweb.cs.ru.nl/