| Age | Commit message (Expand) | Author |
|---|---|---|
| 2007-07-13 | An update on axiomatization of number classes. | emakarov |
| 2007-07-06 | Update of theories/Numbers directory. | emakarov |
| 2007-07-05 | Update on numbers. | emakarov |
| 2007-06-29 | Added the directory theories/Numbers where axiomatizations and implementation... | emakarov |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |