Autosubst: On Mechanising Binders in a General-Purpose Proof Assistant (Invited Talk).

Kathrin Stark

Browse the full ITP paper archive.