Explore projects
-
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 -
XML Coq Exports / coq-relation-algebra.1.7.1
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Coq / equations
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Jürgen Schefter / SMGloM-Doc
Creative Commons Attribution Share Alike 4.0 InternationalDocumentation about the SMGloM
Updated -
XML Coq Exports / coq-coq2html.1.1
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
IMPS / theories
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / GdP
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
FAU CDI / Labs / Outreach / Administration
Creative Commons Attribution Non Commercial No Derivatives 4.0 InternationalUpdatedUpdated -
XML Coq Exports / coq-pigeonhole-principle.1.0.4
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / FAU / KRMTSysProj / problems
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / UHi / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / cogsci
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / primes
Creative Commons Attribution Share Alike 4.0 InternationalSubglossary of primes in SMGloM
Updated -
sTeX / CCU
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
FoMID / Foundation
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Coq / geometric-algebra
Creative Commons Attribution Share Alike 4.0 InternationalUpdated