GitHub repository: proyetei/CS-4ZP6A-Capstone-Akanda
Primary language: Haskell
Description: System benchmarking for proof assistants