Explore projects
-
Mario Carneiro / Metamath
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Sascha Dörflein / algebra
Creative Commons Attribution Share Alike 4.0 InternationalThe SMGloM modules for elementary algebra.
Updated -
SMGloM / csp
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
scucoco / Sage
Creative Commons Attribution Share Alike 4.0 InternationalThe knowledge for integrating the Sage system into the OpenDreamKit virtual Research Environment.
Updated -
SMGloM / ai
Creative Commons Attribution Share Alike 4.0 InternationalThe concepts from the AI lecture at MiKoMH/AI
Updated -
courses / FAU / EiDA / course
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Updated
-
Tianlin / topology
Creative Commons Attribution Share Alike 4.0 InternationalThe SMGloM modules for topology
Updated -
sTeX / DemoExamples
Creative Commons Attribution Share Alike 4.0 InternationalDemonstrations and Examples for sTeX
Updated -
MMT / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
KwarcMH / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalThe metadata for the KwarcMH project at MathHub.info
Updated -
MMT / MMATh
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / kr
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
alignments / namematching
Creative Commons Attribution Share Alike 4.0 InternationalShabbar Raza's code for finding alignments based on matching names.
Updated -
IMPS / imps-library
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / FAU / SMAI / hwexam
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-mathcomp-fingroup.1.7.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
PVS / NASA
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-pi-agm.1.2.3
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
MitM / models
Creative Commons Attribution Share Alike 4.0 InternationalEXPERIMENTAL: Formalizing Mathematical Models as Research Data
Updated