| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2015-01-08 | Fix some documentation typos. | Guillaume Melquiond | |
| 2015-01-06 | rename: vi -> vio | Enrico Tassi | |
| 2014-11-27 | typos | Enrico Tassi | |
| 2014-09-02 | coqworkmgr | Enrico Tassi | |
| 2014-02-26 | refman: document vi2vo | Enrico Tassi | |
| 2014-01-26 | -schedule-vi-checking ported to spawn | Enrico Tassi | |
| 2014-01-05 | refman: fist stab at Asynchronous Proofs | Enrico Tassi | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |