Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in rocq-prover

How can I split a list in half in coq?

rocq-prover

Coq: type mismatch on dependent lists which could be solved by a proof

list rocq-prover dependent-type theorem-proving

Problems adding new notation in Coq

rocq-prover