Explore projects
-
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 -
-
-
sTeX / Logic / TypeTheory
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Almanac / Context-Graph-Example
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-cunit.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 -
courses / FAU / KRMT / problems
Creative Commons Attribution Share Alike 4.0 InternationalThe problems for the course Computational Logic at Jacobs University
Updated -
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-paco.2.0.2
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-iterable.1.0.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated