Explore projects
-
sTeX / Logic / General
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-tlc.20181116
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-poltac.0.8.8
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
meta / MDDL
Creative Commons Attribution Share Alike 4.0 InternationalThe meta-theories for the schema theories for MathHub data collections
Updated -
Coq / function-ninjas
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SvenWille / writtenmaster
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
-
This is an export of the Mizar Mathematical Library by Colin Rothgang, ArturKornilowicz, and Florian Rabe. See the export-paper repository for a description.
Updated -
SMGloM / cknoll
Creative Commons Attribution Share Alike 4.0 InternationalTesting for Carsten Knoll
Updated -
Coq / fcsl-pcm
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Tutorials / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Coq / charge-core
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Coq / bignums
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
-
sTeX / Didactics
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-mathcomp-algebra.1.7.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Papers / 25-CICM-MathMap
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / legal
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
The sTeX explanations of the math content in MathDataHub (will probably be refactored at some point)
Updated -
sTeX / Logic / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated