GitHub repository: sorear/smetamath-rs
Primary language: Rust
Created: 2016-04-25T03:35:20Z
Description: sorear's Metamath system engine - version 3 Rust