| Age | Commit message (Expand) | Author |
|---|---|---|
| 2014-02-07 | FinFun.v: results about injective/surjective/bijective fonctions over finite ... | Pierre Letouzey |
| 2013-06-02 | A constructive proof of Fan theorem where paths are represented by predicates. | herbelin |
| 2009-12-09 | Factorisation between Makefile and ocamlbuild systems : .vo to compile are in... | letouzey |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |