OpenTheory: Package Management for Higher Order Logic Theories

by Joe Hurd
Citations:5 - 3 self