Explore projects

EPFL CS550 - Formal Verification

Instruction sheet describing the basics of VEGA operations. Intended for printing, to keep next to the EL-B 216 control room computer.

Proof assistant based on first-order logic and set theory

Computer language processing