Explore projects
-
ODK / Singular
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
-
XML Coq Exports / coq-procrastination.1.2
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
ODK / Demos
Creative Commons Attribution Share Alike 4.0 InternationalDemos for OpenDreamKit WP6
Updated -
FAU CDI / Labs / ELN / nomad
GNU Affero General Public License v3.0Updated -
problems / smglom
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
dedukti / dklib
Creative Commons Attribution Share Alike 4.0 Internationalthe standard library
Updated -
SMGloM / chevahir
Creative Commons Attribution Share Alike 4.0 InternationalThe glossary entries Chevahir did. May be useful at some point.
Updated -
Updated
-
Heinz Kröger / graphs
Creative Commons Attribution Share Alike 4.0 InternationalGraph Theory Modules in SMGloM
Updated -
SMGloM / tannakian
Creative Commons Attribution Share Alike 4.0 InternationalSome foundations of Tannakian Symbols and their relations.
Updated -
Updated
-
courses / FAU / IWGS / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
KwarcMH / FormalCAD
Creative Commons Attribution Share Alike 4.0 InternationalFormalCAD Project Content
Updated -
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 -
SvenWille / MoreClassicalLogic
Creative Commons Attribution Share Alike 4.0 InternationalThis repository contains additional classical logic definitions and facts, building on top of the natural deduction theory in mitm
Updated -
sTeX / MathBase / Relations
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
sTeX / MathBase / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated