Building Interactive Digital Libraries of Formal Algorithmic Knowledge
Partners
Cornell Digital Libraries Project
PRL Project
Proof/Program Refinement Logic at Cornell
MetaPRL Project
The HELM Project
An Hypertextual Electronic Library of Mathematics
MathWeb.org
MathWeb.org: supporting mathematics on the web!
