proofs.swiss.tt

Swiss Verification Day workshop

Proof Systems for Mathematics and Verification workshop