Explore projects

Program verifier for Scala. Documentation, sources on GitHub

EPFL CS550 - Formal Verification

Proof assistant based on first-order logic and set theory

Solver for higher-order functional programs

Computer language processing

Project and labs for the EPFL Computer language processing course (CLP, CS320). Done with Robin Nicole and Eduardo Neville Castro. All belong to the teaching team!

Program verifier for Scala. Documentation, sources on GitHub

Computer language processing

Computer language processing

EPFL CS550 - Formal Verification