Explore projects
-
courses / Jacobs / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
sTeX / Algebra / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-pigeonhole-principle.1.0.4
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / tannakian
Creative Commons Attribution Share Alike 4.0 InternationalSome foundations of Tannakian Symbols and their relations.
Updated -
Coq / io-list
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
-
courses / UPS / Info111 / course
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / search
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Updated
-
FrameIT / Meta Inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
MMT / physics-units
Creative Commons Attribution Share Alike 4.0 InternationalUnits and Measurements
Updated -
courses / FAU / AISysProj / course
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
MitM / Core
Creative Commons Attribution Share Alike 4.0 InternationalCore formalizations of (elementary) mathematics in MMT
Updated -
SMGloM / stats
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Updated
-
Updated
-
JLogic / SMGloL / Criminal-Procedural-Law
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Talks / frameit
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / units
Creative Commons Attribution Share Alike 4.0 InternationalFoundations of Units and Quantities.
Updated -
Heinz Kröger / mv
Creative Commons Attribution Share Alike 4.0 InternationalThe language meta-level of SMGloM
Updated