Foundations of Math (on the web)

The OAF Project builds a theoretical framework for interoperability of theorem prover libraries and implements an information system that host and align multiple libraries in a joint semantic setting.

MMT is a framework for representing declarative languages such as logics, type theories, set theories, etc.. The MMT API implements complex algorithms generically for any language in the framework.

The Logic Atlas and Integrator provides tools and representation formats for developing logics modularly and relating them to each other.

Subscribe to RSS - Foundations of Math (on the web)