| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2007-07-13 | An update on axiomatization of number classes. | emakarov | |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10002 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
| 2007-07-06 | Update of theories/Numbers directory. | emakarov | |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9955 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
| 2007-07-05 | Update on numbers. | emakarov | |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9947 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
| 2007-06-29 | Added the directory theories/Numbers where axiomatizations and ↵ | emakarov | |
| implementations (unary, binary, etc.) of different number classes (natural, integer, rational, real, complex, etc.) will be stored.Currently there are axiomatized natural numbers with two implementations and axiomatized integers. Modified Makefile accordingly but dod not include the new files in THEORIESVO yet. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9916 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |