| Age | Commit message (Expand) | 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 |