ppedrot / coq-performance-tests Goto Github PK
View Code? Open in Web Editor NEWThis project forked from coq-community/coq-performance-tests
A library of Coq source files testing for performance regressions on Coq [maintainer=@JasonGross]
License: MIT License