Explore projects
-
Updated
-
ODK / ActiveComputationDemo
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-reglang.1
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / FAU / KRMT / hwexam
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 -
courses / UMR / GdMA / course
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / FAU / GDP / course
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-simple-io.1.0.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Archived 0Updated
-
-
sTeX / MathBase / Sets
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