Mirror of https://forge.slowte.ch/workshops/freechips
Verification framework and tool for higher-order Scala programs
Sources of EPFL's Summer Research Institute Website