/illogical

Easy-to-use first order logic tools & Scala library

Primary LanguageScala

Watchers