A content based mathematical search engine: Whelp (2006)

by Andrea Asperti, Ferruccio Guidi, Claudio Coen, Enrico Tassi, Stefano Zacchiroli
Venue:In Proc. Types for Proofs and Programs 2004