Explore projects
-
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 -
courses / FAU / LBS / hwexam
Creative Commons Attribution Share Alike 4.0 InternationalThe homework assignments and exams for the LBS course at FAU (public)
Updated -
SvenWille / SoftwareFoundations
Creative Commons Attribution Share Alike 4.0 InternationalThis repository contains the MMT-translation of the SoftwareFoundations book.
Updated -
Updated
-
Updated
-
FTML / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Coq / functional-algebra
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
-
Coq / ext-lib
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Constantin Jucovschi / SimplifiedWinograd
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Coq / coquelicot
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / search
Creative Commons Attribution Share Alike 4.0 InternationalUpdated