3 ms·
This is 403 Forbidden at the moment, but if it's a way to run Coq in a browser, ProofWeb is also of interest: http://prover.cs.ru.nl/login.php http://prover.cs
by jbapple 11y ago
This is 403 Forbidden at the moment, but if it's a way to run Coq in a browser, ProofWeb is also of interest:
http://prover.cs.ru.nl/login.php http://prover.cs.ru.nl/login.php