Explore projects
-
repository for a dummy build target that converts .foo files depending on other .foo files to .bar files
Updated -
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 -
FTML / meta
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / UHi / graph-theory
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
JLogic / SMGloL / Patent-Law
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Papers / 23-mathui-active-documents
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
FTML / doc
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 -
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 -
SMGloM / db
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
sTeX / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
ODK / Singular
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -