Explore projects
-
courses / Bath / CM30073 / course
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
sTeX / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
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 -
SMGloM / ai
Creative Commons Attribution Share Alike 4.0 InternationalThe concepts from the AI lecture at MiKoMH/AI
Updated -
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 -
courses / UHi / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Heinz Kröger / graphs
Creative Commons Attribution Share Alike 4.0 InternationalGraph Theory Modules in SMGloM
Updated -
courses / FAU / SymNLProj / hwexam
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / tannakian
Creative Commons Attribution Share Alike 4.0 InternationalSome foundations of Tannakian Symbols and their relations.
Updated -
FTML / math
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / FAU / IWGS / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
JLogic / SMGloL / Grundbegriffe
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Updated
-
Updated
-
The core schema theories (given in the Math Data Description Language MDDL) for the symmetric objects data collection
Updated