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
| Main branch build |
|---|
 |