Explore projects

Program verifier for Scala. Documentation, sources on GitHub

Computer language processing

Computer language processing

Computer language processing

EPFL CS550 - Formal Verification

Solver for higher-order functional programs

Proof assistant based on first-order logic and set theory

Program verifier for Scala. Documentation, sources on GitHub