sergiot14 / theorem-proving-with-scala Goto Github PK
View Code? Open in Web Editor NEWThis repository will store three Scala notebooks made for my Computer Engineering Thesis. The notebooks are divided into categories, each with a different type of proven exercises: Resolution (and refutation), natural deduction and Knights&Knaves puzzles.
License: MIT License