Explore projects
-
Almanac / context-graph
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Isabelle / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
HelloWorld / paper
Creative Commons Attribution Share Alike 4.0 InternationalA Hello World repository of an sTeX paper.
Updated -
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 -
Teaching / LBS1819
Creative Commons Attribution Share Alike 4.0 InternationalThe MMT repository for the LBS course in WS 2018/19
Updated -
Coq / documentation
Creative Commons Attribution Share Alike 4.0 InternationalArticles describing the library export
Updated -
Coq / Foundation
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
ODK / DiscreteZOO
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 -
XML Coq Exports / coq-iterable.1.0.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-relation-algebra.1.7.1
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-procrastination.1.2
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-cfml.20181201
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-ext-lib.0.10.1
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-geometric-algebra.0.8.8
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-flocq.3.1.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-bignums.8.9.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-mathcomp-ssreflect.1.7.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-list-plus.1.1.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-mathcomp-multinomials.1.1
Creative Commons Attribution Share Alike 4.0 InternationalUpdated