tnt-1.0.0
- tnt 1.0.0
- 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
- 70.71% of the crate is documented
Go to latest version
Platform
Feature flags

Rust

☰

Crate tnt

Version 1.0.0

See all tnt's items

Modules

Crate tnt[−][src]

Modules

axioms	Axioms for use with Deduction.
deduction
formula
logic_errors
operations	Build statements of TNT.
terms