OpenTheory Standard Theory Library Joe Hurd Galois Inc. / / /
Facility
Motivation Identifying Standard Theories Extracting Proofs Building / Summary Joe Hurd The OpenTheory Standard Theory Library / Joe Hurd The OpenTheory Standard Theory Library / Standard Theory Library / OpenTheory Standard Theory Library / The OpenTheory Standard Theory Library / /