Loreon
Labs
Platform
Docs
Home
Ecosystems
Rust
smetamath-rs
sorear's Metamath system engine - version 3 Rust
Rust
Emerging
GitHub
Stars
24
Forks
6
Contributors
2
Last push
37mo ago
Recent commits
Latest commits.
remove unsafe blocks for utf-8 conversion
7bdd3a6
Stefan O'Rear
121mo ago
Merge pull request #33 from digama0/proof-out
9e79059
Stefan O'Rear
121mo ago
add proof output for normal, packed or explicit
af77f8c
Mario Carneiro
121mo ago
address performance regressions
e060ebe
Stefan O'Rear
121mo ago
no need to carry address in PreparedStep::Assert
2629664
Mario Carneiro
121mo ago
Add accum type parameter to ProofBuilder
2230bca
Mario Carneiro
121mo ago
drop the arc boxes in ProofTree
c071c65
Mario Carneiro
121mo ago
Add mmp file output with indentation
eb1dce5
Mario Carneiro
121mo ago
Top contributors
Builders behind this project.
sorear
117 commits
digama0
22 commits
