GitHub / SergioT14 / 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.
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/SergioT14%2FTheorem-proving-with-Scala
PURL: pkg:github/SergioT14/Theorem-proving-with-Scala
Stars: 0
Forks: 0
Open issues: 0
License: mit
Language: Jupyter Notebook
Size: 241 KB
Dependencies parsed at: Pending
Created at: over 1 year ago
Updated at: over 1 year ago
Pushed at: over 1 year ago
Last synced at: over 1 year ago
Topics: knights-knaves, natural-deduction, refutation-resolution