OpenTheory: Package Management for Higher Order Logic Theories (2009)

by Hur09 J Hurd
Venue:Programming Languages for Mechanized Mathematics Systems