Explore projects
-
courses / UHi / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
sTeX / ComputerScience / General
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 -
FTML / math
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 / Jacobs / ComSem
Creative Commons Attribution Share Alike 4.0 InternationalThe slides and course notes of the course Computational NL Semantics.
Updated -
courses / UHi / graph-theory
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / cogsci
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Papers / 23-mathui-active-documents
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / IISc / ATC / course
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 -
courses / Bath / CM30073 / course
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
sTeX / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated