Explore projects
-
XML Coq Exports / coq-math-classes.8.8.1
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
FAU CDI / Labs / Outreach / Media files
Creative Commons Attribution Non Commercial No Derivatives 4.0 InternationalUpdatedUpdated -
XML Coq Exports / coq-io-list.1.1.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Coq / cfml
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
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 -
-
Andra Lezza / SAllyAir
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Almanac / Context-Graph-Example
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 -
Coq / geocoq
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