theoinf 0.3.0

Parsers and interpreters for theoretical computer science topics.
Documentation 
1
2
3

pub mod dfa;
pub mod propositional_logic;
pub mod set_theory;