Open source F# mathematical logic library.

Should covers propositional logic. Intuitionism logic. Automate inference, automate reasoning and automate theorem proofs. All in F# functional style.

Literature:

• Introduction to Metamathematics
• Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics
• Handbook of Practical Logic and Automated Reasoning

Founded 01/01/2021

Build

Main branch build

Feature list

1. Check a formula for acceptability
2. Verbose a formula
3. Decompose a formula to the calculation list
4. Calculate a formula in tableaux method
5. Verbose Tableux Calculus