DMCA

Crafting a Proof Assistant

by Andrea Asperti , Claudio Sacerdoti Coen , Enrico Tassi , Stefano Zacchiroli
Citations:6 - 2 self