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

How can I rewrite "+ 1" (plus one) to "S" (succ) in Coq?

coq coq-tactic successor-arithmetics

Is there a minimal complete set of tactics in Coq?

coq coq-tactic

What's the difference between revert and generalize tactics in Coq?

coq coq-tactic

How to use a custom induction principle in Coq?

coq induction 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