Explore projects
-
SMGloM / grammar
Creative Commons Attribution Share Alike 4.0 InternationalBasics for formal grammars
Updated -
voll-ki / ALeA
Creative Commons Attribution Share Alike 4.0 InternationalUser Manual and Documents about the ALeA (Adaptive Learning Assistant) System.
Updated -
-
XML Coq Exports / coq-ext-lib.0.10.1
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Coq / documentation
Creative Commons Attribution Share Alike 4.0 InternationalArticles describing the library export
Updated -
SvenWille / ProgrammingLibraries
Creative Commons Attribution Share Alike 4.0 InternationalThis repository contains libraries that are meant as "general purpose programming" libraries
Updated -
Updated
-
Papers / 24-CICM-views-in-ALeA
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-equations.1.2-beta-8.9
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-interval.3.4.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Updated
-
sTeX / Logic / General
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-tlc.20181116
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-poltac.0.8.8
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
meta / MDDL
Creative Commons Attribution Share Alike 4.0 InternationalThe meta-theories for the schema theories for MathHub data collections
Updated -
Coq / function-ninjas
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SvenWille / writtenmaster
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
-
This is an export of the Mizar Mathematical Library by Colin Rothgang, ArturKornilowicz, and Florian Rabe. See the export-paper repository for a description.
Updated -
SMGloM / cknoll
Creative Commons Attribution Share Alike 4.0 InternationalTesting for Carsten Knoll
Updated