Explore projects
-
MitM / Core
Creative Commons Attribution Share Alike 4.0 InternationalCore formalizations of (elementary) mathematics in MMT
Updated -
courses / Bath / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / FAU / AISysProj / course
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / magic
Creative Commons Attribution Share Alike 4.0 Internationalmagic squares and their friends
Updated -
Updated
-
Updated
-
courses / FAU / IWGS / hwexam
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
sTeX / MathTutorial
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Heinz Kröger / mv
Creative Commons Attribution Share Alike 4.0 InternationalThe language meta-level of SMGloM
Updated -
HOLLight / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / units
Creative Commons Attribution Share Alike 4.0 InternationalFoundations of Units and Quantities.
Updated -
SMGloM / tannakian
Creative Commons Attribution Share Alike 4.0 InternationalSome foundations of Tannakian Symbols and their relations.
Updated -
scucoco / math
Apache License 2.0Updated -
Teaching / LBS1920
Creative Commons Attribution Share Alike 4.0 InternationalThe materials of the LBS course held in WS 2019/20.
Updated -
dmueller / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
MMT / OpenMath
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Coq / geocoq
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
ODK / DiscreteZOO
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
alignments / Public
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
HOL-Light / hol-light-export
GNU Affero General Public License v3.0Updated