Explore projects
-
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 -
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 -
SMGloM / automata
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 -
Coq / fcsl-pcm
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Tutorials / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Coq / charge-core
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Coq / bignums
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Updated