/sbt-frege

An sbt plugin for building Frege code

Primary LanguageScala

Watchers