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

New posts in coq

How do we know all Coq constructors are injective and disjoint?

constructor coq injective-function

Typeclass resolution and autorewrite

coq

How do I compare two ASCII strings in Coq?

functional-programming coq

In the coq tactics language, what is the difference between intro and intros

coq coq-tactic

Difference between Definition and Let in Coq

functional-programming coq theorem-proving

Coq induction on modulo

modulo coq induction

Does ssreflect assume excluded middle?

coq ssreflect

How can I convince Coq that my function is in fact recursive?

recursion coq termination

How do inductive proposition work in Coq?

coq

How to import the Library: Coq.Arith.PeanoNat in Coq?

coq

rewrite single occurence in ltac

coq coq-tactic ltac

How to make sublists in Coq?

coq

How to rewrite over Rle inside a term with Rmult in Coq?

relation coq rewriting

Coq's mathematical proof language: Rewriting in if condition

coq

Avoid duplicating code for applying tactics in both hypothesis and goal

coq

Euclidean division on naturals in coq

coq
« Newer Entries Older Entries »