OpenTheory: Package management for higher order logic theories (2009)

by Joe Hurd
Venue:PLMMS ’09: Proceedings of the ACM SIGSAM 2009 International Workshop on Programming Languages for Mechanized Mathematics Systems