//
Skip to main content
PRL Project

A (Possibly) New Scheme for Libraries/Proof-Contexts

by Chetan Murthy
1993-1994

I (Chet Murthy) will talk about a (possibly) new scheme for libraries/proof-contexts, to support "theories," "separate proof" (a la separate compilation), and better structuring of mathematical developments.