search

sorear / smetamath-rs

sorear's Metamath system engine - version 3 Rust
Apache License 2.0
22 stars 6 forks source link

add proof output for normal, packed or explicit #33

Closed digama0 closed 8 years ago

digama0 commented 8 years ago

Compressed proof output on the way