An interpreter and logic parser for a programming langauge, allowing entry expressions that can be evaluated either logically or through a series of operators. It passes user input through a lexer which is then evaluated, parsed and returned. Both basic and complex features and arithmetic are supported, including string and numerical operators, equality and inequalities, vector and set operations, and more. Introduces a prover capable of proving the validity of predicate logic and quantifier-based expressions.
-
Notifications
You must be signed in to change notification settings - Fork 0
KabirSamsi/mlck-prover
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
About
An imperative language, logic parser and simple theorem prover designed to function via a CLI.
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published