GitHub repository: mit-plv/engine-bench
Primary language: Coq
Created: 2020-05-18T20:43:54Z
Description: Benchmarks for various proof engines