SergioT14's repositories
Language:JavaApache-2.0000
Theorem-proving-with-Scala
This 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.