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>