Explore projects
-
SMGloM / measure-theory
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Updated
-
courses / FAU / LBS / problems
Creative Commons Attribution Share Alike 4.0 InternationalThe problems for the lecture Logic Based Language Processing at FAU
Updated -
Teaching / LBS
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
HOLLight / Basic
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Archived 0Updated
-
courses / FAU / AI / hwexam
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Michael Kohlhase / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalThe Metadata for the MMATh formalizations and active documents.
Updated -
Michael Kohlhase / FormalCAD
Creative Commons Attribution Share Alike 4.0 InternationalFormalCAD Project Content
Updated -
Updated
-
OEIS / SearchSystem
Creative Commons Attribution Share Alike 4.0 InternationalThe repository for the MWS-based, text and formula, search system for OEIS
Updated -
Papers / 22-CICM-Injecting-Formal-Mathematics
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Coq / mathcomp-bigenough
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Michael Kohlhase / eyetracking-math
Creative Commons Attribution Share Alike 4.0 Internationala study
Updated -
HelloWorld / coursematerials
Creative Commons Attribution Share Alike 4.0 InternationalAn example for the MathHub Worker
Updated -
-
-
Coq / interval
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Constantin Jucovschi / SMGloM
Creative Commons Attribution Share Alike 4.0 InternationalA Semantic Multilingual Glossary for Mathematics.
Updated