| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-04-06 | CI-paramcoq: Re-enable native | Gaëtan Gilbert |
| 2021-04-01 | [ci] Disable native compilation for paramcoq | Emilio Jesus Gallego Arias |
| 2019-03-16 | Add test-suite to Paramcoq CI | Pierre Roux |
| 2018-11-10 | [ci] Add paramcoq to CI. | Emilio Jesus Gallego Arias |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |