Explore projects
-
ODK / math
Creative Commons Attribution Share Alike 4.0 InternationalThe general mathematical knowledge needed for the OpenDreamKit Virtual Research Environment.
Updated -
ODK / python
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / manifolds
Creative Commons Attribution Share Alike 4.0 InternationalThis SMGloM repository contains modules specifying manifolds and their properties.
Updated -
alignments / helloworld
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
alignments / Public
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
MMT / interfaces
Creative Commons Attribution Share Alike 4.0 InternationalInterface theories -- construction site --
Updated -
MMT / LFX
Creative Commons Attribution Share Alike 4.0 InternationalMetalogical frameworks that extend LF - the Edinburgh Logical Framework. These provide common features - e.g. record types, subtyping, or flexary functions - of logical languages at the meta-level for inheritance in LFX-specified logics.
Updated -
meta / template
Creative Commons Attribution Share Alike 4.0 InternationalTemplate repository for an MathHub/MMT archive. Documents the structure created by lmh when intiializing a repository (modulo archive name and optional config)
Updated -
scucoco / try
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
scucoco / Sage
Creative Commons Attribution Share Alike 4.0 InternationalThe knowledge for integrating the Sage system into the OpenDreamKit virtual Research Environment.
Updated -
scucoco / math
Apache License 2.0Updated -
testing / OMDoc
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Mario Carneiro / Public
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Metamath / Metamath
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Mario Carneiro / Metamath
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
dedukti / dklib
Creative Commons Attribution Share Alike 4.0 Internationalthe standard library
Updated -
focalize / distribution
Creative Commons Attribution Share Alike 4.0 InternationalSources included with the FoCaLiZe distribution
Updated -
urabenstein / physics-units
Creative Commons Attribution Share Alike 4.0 InternationalTom's guided research project
Updated -
MitM / Foundation
Creative Commons Attribution Share Alike 4.0 InternationalThe logical foundation(al theories) used by MitM projects
Updated -
MitM / models
Creative Commons Attribution Share Alike 4.0 InternationalEXPERIMENTAL: Formalizing Mathematical Models as Research Data
Updated