PRL Seminars

Maintaining a library of objects including proofs, definitions, and tactic code, with logically significant interdependencies them will become key to systems such a Nuprl. Some semantically and practically motivated design issues will be discussed.