Explore projects
-
SvenWille / SoftwareFoundations
Creative Commons Attribution Share Alike 4.0 InternationalThis repository contains the MMT-translation of the SoftwareFoundations book.
Updated -
Updated
-
Updated
-
SMGloM / search
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Coq / functional-algebra
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / FAU / AI / problems
Creative Commons Attribution Share Alike 4.0 InternationalHomework/Quiz problems for AI lectures
Updated -
-
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 -
courses / IISc / logic
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
JLogic / SMGloL / Civil Law
Creative Commons Attribution Share Alike 4.0 InternationalSemantic Glossary of the Law
mostly in German -Updated -
courses / FAU / AI / problems-praveen
Creative Commons Attribution Share Alike 4.0 InternationalPractice (quiz) problems for the course AI-1/2 provided by Praveen; to be moved to the respective archives later after proof-reading
Updated -
-
MMT / experimental
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / formal-methods
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Updated
-
The MMT formalizations for the very first FrameIT prototype by Dennis Rochau. This is Obsolete by now.
Archived 0Updated -
FTML / meta
Creative Commons Attribution Share Alike 4.0 InternationalUpdated
