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

New posts in coq-tactic

Coq execution difference between semicolon ";" and period "."

coq coq-tactic

How to prove excluded middle is irrefutable in Coq?

logic coq coq-tactic

Non-empty list append theorem in Coq

ocaml coq theorem-proving coq-tactic formal-verification

How to switch the current goal in Coq?

coq coq-tactic
« Newer Entries