theoinf 0.1.0

Parsers and interpreters for theoretical computer science topics.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

# theoinf

A crate for various topics from theoretical computer science.  
Currently, there are parsers and interpreters for the following topics:
- set theory
- propositional logic

More will follow.  

## set theory

All the usual operations of naive set theory are implemented.  

## propositional logic

All the usual operations of propositional logic are implemented.  
The result struct contains the truth table and more information about the formula.