Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs.

Tobias Nipkow

Browse the full VMCAI paper archive.