Explore projects

Proof assistant based on first-order logic and set theory

Tiny Scala library to generate class files for the JVM

DSL in Scala for Constraint Solving with Z3 SMT Solver

Scala library for parsing and printing the SMT-LIB format

Computer language processing

An empty project you can use to play with worksheets.