tnt 1.0.2

Simple runtime validated proofs in number theory
1
2
3
4
5
6
7
8
9
10
11
12
13
14
pub mod deduction;
pub use deduction::Deduction;
pub mod formula;
pub use formula::Formula;
pub mod term;
pub use term::Term;
pub mod logic_errors;
pub use logic_errors::LogicError;
pub mod production;
pub use production::*;
pub mod parsing;

#[macro_use]
extern crate pest_derive;