Basic primitives for logical reasoning in Scala
Primary LanguageScala
No issues in this repository yet.