| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | MSetRBT: a tail-recursive plength |  letouzey | 2012-08-06 |
| * | MSetRBT : elementary arith proofs instead of calls to lia | letouzey | 2012-07-05 |
| * | ZArith + other : favor the use of modern names instead of compat notations | letouzey | 2012-07-05 |
| * | MSetRBT : implementation of MSets via Red-Black trees | letouzey | 2012-04-13 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |