Machine-Assisted Proofs for Institutions in Coq.

Conor Reynolds, Rosemary Monahan

Browse the full IFM paper archive.