| Age | Commit message (Expand) | Author |
|---|---|---|
| 2010-01-29 | Division in numbers: kills some Include to avoid bad alias Zsucc = ZDiv.Z.Z'.S | letouzey |
| 2010-01-07 | Numbers: separation of funs, notations, axioms. Notations via module, without... | letouzey |
| 2010-01-05 | Numbers abstract layer: more Module Type, used especially for divisions. | letouzey |
| 2010-01-05 | Division in Numbers: factorisation of signatures | letouzey |
| 2010-01-04 | Specific syntax for Instances in Module Type: Declare Instance | letouzey |
| 2009-12-15 | A generic euclidean division in Numbers (Still Work-In-Progress) | letouzey |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |