GitHub repository: mayhemheroes/mm0
Primary language: Rust
Description: Metamath Zero specification language