EPFL CS550 - Formal Verification
Program verifier for Scala. Documentation, sources on GitHub
Solver for higher-order functional programs
Proof assistant based on first-order logic and set theory