Explore projects
-
FoMID / Foundation
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Coq / geometric-algebra
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Coq / cunit
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / UoL / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
repository for a dummy build target that converts .foo files depending on other .foo files to .bar files
Updated -
JLogic / SMGloL / DSGVO
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-cfml.20181201
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / HW / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
MitM / almanac
Creative Commons Attribution Share Alike 4.0 InternationalFormalizations for the ALMANAC Project (Argumentation Logics Manager & Argument Context Graph)
Updated -
sTeX / DemoExamples
Creative Commons Attribution Share Alike 4.0 InternationalDemonstrations and Examples for sTeX
Updated -
Papers / 23-mathui-active-documents
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Michael Kohlhase / oldtalks
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / stats
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / Jacobs / CompLog
Creative Commons Attribution Share Alike 4.0 InternationalThe slides and course notes of the course Computational Logic.
Updated -
meta / inf
Creative Commons Attribution Share Alike 4.0 InternationalGeneral Metadata that apply to all MathHub content.
Updated -
sTeX / MathBase / General
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Papers / 22-TUG-sTeX
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / EiDa
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
sTeX / MathBase / Functions
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SvenWille / masterproj backup jedit
Creative Commons Attribution Share Alike 4.0 Internationaljust a backup of the jedit extension for my masterproject/masterthesis
Updated