Machine-Assisted Proofs for Institutions in Coq.

Conor Reynolds, Rosemary Monahan

Browse the full TASE paper archive.