coq/test-suite/coq-makefile/mlpack2/_CoqProject, branch master
The formal proof system
Porting the test-suite to coqpp.
2018-10-19T14:24:46+00:00
Pierre-Marie Pédrot
2018-10-19T14:21:22+00:00
266050f7aaa0ee0b090b30b1acabaccda6919889
test suite for coq_makefile2
2017-05-23T08:48:28+00:00
Enrico Tassi
2017-01-23T16:32:58+00:00
352c23666babc7dd8f0136b02d9ef1893f9bde5c