The project contains the released Frege compiler and standard library package as an OSGi bundle and can be used wherever you require frege ( maven, ivy, sbt etc. ).
Version
3.23.422-ga05a487
Maven
<dependency>
<groupId>com.theoryinpractise.frege</groupId>
<artifactId>frege</artifactId>
<version>${frege.version}</version>
</dependency>