trivial-kernel 0.2.0

A Metamath Zero kernel for Trivial

Coverage
0.52%
2 out of 385 items documented
Links
crates.io
Dependencies
- mmb-types ^0.2.0 normal
Versions
- 0.9.0
- 0.8.1
- 0.8.0
- 0.7.0
- 0.6.0
- 0.5.0
- 0.4.0
- 0.3.0
- 0.2.0
- 0.1.0
Owners