Abstract: Logosphere -- A Digital Library of Formal Proof Content + Meaning

Carsten Schuermann

I will be talking about the ideas behind the Logosphere project that includes Yale, SRI International, and CMU.