Explore projects
-
MMT / LATIN
Creative Commons Attribution Share Alike 4.0 InternationalThe Logic Atlas and Integrator project content (still in TWELF, not MMT syntax)
Updated -
Tutorials / Mathematicians
Creative Commons Attribution Share Alike 4.0 InternationalOMDoc/MMT Tutorial for Mathematicians
Updated -
ODK / FindStat
Creative Commons Attribution Share Alike 4.0 InternationalThe Knowledge behind the FindStat project
Updated -
Updated
-
Talks / sTeX
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Teaching / KRMT19
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-unicoq.1.3-8.9
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SvenWille / mmtextensions
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Updated
-
sTeX / Experiments / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Updated
-
XML Coq Exports / coq-mathcomp-real-closed.1.0.1
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Updated
-
Teaching / LBS2122
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / FAU / IWGS / problems
Creative Commons Attribution Share Alike 4.0 InternationalProblems for the IWGS course at FAU
Updated -
Mario Carneiro / Public
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Ion Toloaca / KWARC
Creative Commons Attribution Share Alike 4.0 InternationalBasics about KWARC, Jacobs, etc. and other missing stuff.
Updated -
XML Coq Exports / coq-bignums.8.9.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Papers / 26-BAI-FLAMS
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / FAU / LBS / hwexam
Creative Commons Attribution Share Alike 4.0 InternationalThe homework assignments and exams for the LBS course at FAU (public)
Updated