Explore projects
-
SvenWille / Mmtexercises
Creative Commons Attribution Share Alike 4.0 Internationalsimple logic exercises for the interactive prover
Updated -
courses / Jacobs / TDM / course
Creative Commons Attribution Share Alike 4.0 InternationalThe slides and course notes for the course Text and Digital Media at Jacobs University
Updated -
ODK / Singular
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Updated
-
XML Coq Exports / coq-procrastination.1.2
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / trigonometry
Creative Commons Attribution Share Alike 4.0 Internationaltrigonometric functions
Updated -
ODK / Demos
Creative Commons Attribution Share Alike 4.0 InternationalDemos for OpenDreamKit WP6
Updated -
courses / FAU / GDP / course
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
sTeX / ComputerScience / General
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
dedukti / dklib
Creative Commons Attribution Share Alike 4.0 Internationalthe standard library
Updated -
tps / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalMeta-information for the TPS library
Updated -
Heinz Kröger / graphs
Creative Commons Attribution Share Alike 4.0 InternationalGraph Theory Modules in SMGloM
Updated -
Papers / 22-CICM-Injecting-Formal-Mathematics
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
FTML / math
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / lbs
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
sTeX / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
IMPS / theories
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Teaching / LBS2021
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Updated
-
The core schema theories (given in the Math Data Description Language MDDL) for the symmetric objects data collection
Updated