A propositional logic verifier.
I started reading a book on set theory and abstract algrebra, and got really inspired to make some kind of theorem prover to verify some expressions for me.
If you're curious, I'm currently experimenting with verifying the consistency of equations, and I like writing my thoughts in the header.
Read all about it here
- Language description and parsing
- Verifies all expressions
- Conditional predicates (predicates who's truth value is constrained by some condition)
- Sets
- Predefined types (i.e. ℕ, ℤ, ℚ, ℝ)