Lightweight, zero dependency calculator engine
Calculator REPL running on calculy.
A crate used to apply calculus functions on equations in string form
Inference calculi for automated theorem proving