A content based mathematical search engine: Whelp (2006)

by A Asperti, F Guidi, C Coen, E Tassi, S Zacchiroli
Venue:In Proc. Types for Proofs and Programs 2004, volume 3839 of LNCS