Explore projects
-
Tianlin / sets
Creative Commons Attribution Share Alike 4.0 InternationalElementary set theory for the SMGloM
Updated -
Tianlin / SMGloM
Creative Commons Attribution Share Alike 4.0 InternationalA Semantic Multilingual Glossary for Mathematics.
Updated -
KwarcMH / SiSsI
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Andra Lezza / MoviExplorer
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / FAU / LBS / problems
Creative Commons Attribution Share Alike 4.0 InternationalThe problems for the lecture Logic Based Language Processing at FAU
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 -
XML Coq Exports / coq-mathcomp-ssreflect.1.7.0
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 -
MitM / Foundation
Creative Commons Attribution Share Alike 4.0 InternationalThe logical foundation(al theories) used by MitM projects
Updated -
hang / sets
Creative Commons Attribution Share Alike 4.0 InternationalElementary set theory for the SMGloM
Updated