Explore projects
-
Coq / cunit
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
sTeX / ComputerScience / General
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / complexity
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 -
SMGloM / www
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
sTeX / MathBase / Functions
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 -
courses / FAU / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / UHi / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Papers / 23-mathui-active-documents
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Michael Kohlhase / oldtalks
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
sTeX / MathTutorial
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Coq / DiSeL
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
JLogic / SMGloL / GDPR
Creative Commons Attribution Share Alike 4.0 InternationalThis is the Repository for the European General Data Protection Regulation.
at least for nor mostly in English -Updated -
-
Papers / 22-TUG-sTeX
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 -
SvenWille / Mmtexercises
Creative Commons Attribution Share Alike 4.0 Internationalsimple logic exercises for the interactive prover
Updated
