Proof assistant based on first-order logic and set theory
EPFL CS550 - Formal Verification
Computer language processing