Explore projects
-
XML Coq Exports / coq-mathcomp-character.1.7.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Isabelle / export-paper
Creative Commons Attribution Share Alike 4.0 Internationala research paper describing the export from Isabelle to OMDoc/MMT that is used to generate the MMT projects in this group
Updated -
courses / UL / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-disel.2.1
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-menhirlib.20180827
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
sTeX / Experiments / SebastianOrsted
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
-
XML Coq Exports / coq-cunit.1.0.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Almanac / Context-Graph-Example
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-fcsl-pcm.1.0.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
meta / inf
Creative Commons Attribution Share Alike 4.0 InternationalGeneral Metadata that apply to all MathHub content.
Updated -
XML Coq Exports / coq-io.3.1.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Papers / 23-HDI-AnswerClasses
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Metamath / Metamath
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Coq / flocq
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Test / General
Creative Commons Attribution Share Alike 4.0 InternationalGeneral Tests (Views, Structures, etc.)
Updated -
FrameIT / sTeX
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-error-handlers.1.2.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-mathcomp-solvable.1.7.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-iterable.1.0.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated