GitHub repository: GinoGiotto/rumm
Primary language: Rust
Description: A tactics-based Metamath proof language