search

coq / coq-bench

Scripts for differential performance testing of Coq packages / versions
Other
4 stars 6 forks source link

Dummy #55

Closed ejgallego closed 5 years ago