| Age | Commit message (Expand) | Author |
|---|---|---|
| 2016-05-10 | Removing the Entry module now that rules need not be marshalled. | Pierre-Marie Pédrot |
| 2016-03-19 | Simplifying the code of Entry. | Pierre-Marie Pédrot |
| 2016-01-17 | Removing dynamic entries from Pcoq. | Pierre-Marie Pédrot |
| 2015-10-26 | Pcoq entries are given a proper module. | Pierre-Marie Pédrot |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |