PRL Seminars

Abstract

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.