Explore projects
-
SMGloM / tannakian
Creative Commons Attribution Share Alike 4.0 InternationalSome foundations of Tannakian Symbols and their relations.
Updated -
ServiceDesk / Experiments
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Tutorials / Mathematicians
Creative Commons Attribution Share Alike 4.0 InternationalOMDoc/MMT Tutorial for Mathematicians
Updated -
MitM / NewFoundation
Creative Commons Attribution Share Alike 4.0 InternationalEXPERIMENTAL: Requriements Analysis for a future Foundation for MitM.
Updated -
SMGloM / measure-theory
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / probability
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
MMT / MMATh
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Isabelle / AFP
Creative Commons Attribution Share Alike 4.0 InternationalOMDoc export of the Archive of Formal Proofs
Updated -
Isabelle / Distribution
Creative Commons Attribution Share Alike 4.0 InternationalOMDoc export of the theories included in the Isabelle distribution
Updated -
SvenWille / SoftwareFoundations
Creative Commons Attribution Share Alike 4.0 InternationalThis repository contains the MMT-translation of the SoftwareFoundations book.
Updated -
SvenWille / ProgrammingLibraries
Creative Commons Attribution Share Alike 4.0 InternationalThis repository contains libraries that are meant as "general purpose programming" libraries
Updated -
SvenWille / MoreClassicalLogic
Creative Commons Attribution Share Alike 4.0 InternationalThis repository contains additional classical logic definitions and facts, building on top of the natural deduction theory in mitm
Updated -
MitM / almanac
Creative Commons Attribution Share Alike 4.0 InternationalFormalizations for the ALMANAC Project (Argumentation Logics Manager & Argument Context Graph)
Updated -
Sascha Dörflein / algebra
Creative Commons Attribution Share Alike 4.0 InternationalThe SMGloM modules for elementary algebra.
Updated -
ODK / knowls
Creative Commons Attribution Share Alike 4.0 InternationalLMFDB Knowls exported to sTeX.
Updated -
Almanac / Modal-Logics
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Almanac / Argumentation-Theories
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
ODK / Demos
Creative Commons Attribution Share Alike 4.0 InternationalDemos for OpenDreamKit WP6
Updated -
MMATh / models
Creative Commons Attribution Share Alike 4.0 Internationalexperiments on modelling
Updated -
MMATh / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalMetadata for the MMATh documents and formalizations
Updated