Explore projects
-
KwarcMH / SiSsI
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Tianlin / SMGloM
Creative Commons Attribution Share Alike 4.0 InternationalA Semantic Multilingual Glossary for Mathematics.
Updated -
XML Coq Exports / coq-mathcomp-ssreflect.1.7.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
-
Tianlin / sets
Creative Commons Attribution Share Alike 4.0 InternationalElementary set theory for the SMGloM
Updated -
woide / Experiments
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
PVS / Prelude
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
dmueller / talks
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-mtac2.1.1-8.9
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Coq / equations
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
hang / GenCS
Creative Commons Attribution Share Alike 4.0 InternationalThe slides and course notes of the course General Computer Science at Jacobs University.
Updated -
courses / UoL / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
sTeX / ComputerScience / Programming
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-coqprime.1.0.3
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-mathcomp-finmap.1.0.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
MMT / exampleProject
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
meta / data
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / UPS / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-simple-io.1.0.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
MitM / Foundation
Creative Commons Attribution Share Alike 4.0 InternationalThe logical foundation(al theories) used by MitM projects
Updated