Explore projects
-
XML Coq Exports / coq-procrastination.1.2
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
ODK / Demos
Creative Commons Attribution Share Alike 4.0 InternationalDemos for OpenDreamKit WP6
Updated -
FAU CDI / Labs / ELN / nomad
GNU Affero General Public License v3.0Updated -
dedukti / dklib
Creative Commons Attribution Share Alike 4.0 Internationalthe standard library
Updated -
SMGloM / chevahir
Creative Commons Attribution Share Alike 4.0 InternationalThe glossary entries Chevahir did. May be useful at some point.
Updated -
JLogic / SMGloL / Data-Protection-Law
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / Bath / CM30073 / course
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Updated
-
FTML / doc
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Heinz Kröger / graphs
Creative Commons Attribution Share Alike 4.0 InternationalGraph Theory Modules in SMGloM
Updated -
SMGloM / tannakian
Creative Commons Attribution Share Alike 4.0 InternationalSome foundations of Tannakian Symbols and their relations.
Updated -
Updated
-
SMGloM / logic
Creative Commons Attribution Share Alike 4.0 InternationalAn SMGloM Archive for Logic
Updated -
Teaching / LBS2021
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Updated
-
FAU CDI / Labs / Outreach / Administration
Creative Commons Attribution Non Commercial No Derivatives 4.0 InternationalUpdatedUpdated -
SvenWille / MoreClassicalLogic
Creative Commons Attribution Share Alike 4.0 InternationalThis repository contains additional classical logic definitions and facts, building on top of the natural deduction theory in mitm
Updated -
sTeX / MathBase / Relations
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
sTeX / MathBase / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated