GitHub repository: JacquesCarette/BenchmarkingProofAssistants
Primary language: Haskell
Description: System benchmarking for proof assistants