GitHub repository: tirix/rumm
Primary language: Rust
Created: 2021-10-04T04:07:25Z
Description: A tactics-based Metamath proof language