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 -
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 -
-
Naomi Pentrel / RPresentation
Creative Commons Attribution Share Alike 3.0 GermanyUpdated -
sTeX / Logic / General
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
sTeX / Logic / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Updated
-
Almanac / Context-Graph-Example
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-fcsl-pcm.1.0.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Dieses Repositorium enthält eine Analyse der Softwareanforderungen des "Taschengeldfalles"
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 -
sTeX / CategoryTheory
Creative Commons Attribution Share Alike 4.0 InternationalUpdated