Explore projects
-
Papers / 23-HDI-AnswerClasses
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
ODK / ActiveComputationDemo
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-reglang.1
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Jan Frederik Schaefer / AISysProjAdmin
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / RWTH / hysys / lecture-notes
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
-
-
Jinbo Zhang / sets
Creative Commons Attribution Share Alike 4.0 InternationalElementary set theory for the SMGloM
Updated -
alignments / helloworld
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
JLogic / SMGloL / Property-Law
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
JLogic / SMGloL / Third-Party-Funding
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
-
sTeX / MathBase / Sets
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / arithmetics
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Florian Rabe / teaching
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
COMMA / GLForTheL
Creative Commons Attribution Share Alike 4.0 InternationalGLForTheL is the result of a case study into the suitability of GLF (now GLIF) for the development of controlled mathematical languages. Specifically, we tried to re-implement ForTheL, the language of SAD.
Updated -
-
SvenWille / Sven Master
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / trigonometry
Creative Commons Attribution Share Alike 4.0 Internationaltrigonometric functions
Updated -
Papers / 23-GeCon-Y-Model
Creative Commons Attribution Share Alike 4.0 InternationalUpdated