tnt-0.4.1
- tnt 0.4.1
- Docs.rs crate page
- MIT
- Links
- Repository
- crates.io
- Source
- Owners
- SymmetricChaos
- Dependencies
- fancy-regex ^0.5.0 normal
  lazy_static ^1.4.0 normal
  num ^0.4.0 normal
- Versions
- 56.25% of the crate is documented
Go to latest version
Platform
Feature flags

Rust

☰

Module axioms

Structs

Module tnt::axioms[−][src]

Axioms for use with Deduction.

Structs

The Peano Axioms