Explore projects
-
XML Coq Exports / coq-simple-io.1.0.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
MitM / Foundation
Creative Commons Attribution Share Alike 4.0 InternationalThe logical foundation(al theories) used by MitM projects
Updated -
scucoco / try
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
-
Naomi Pentrel / RPresentation
Creative Commons Attribution Share Alike 3.0 GermanyUpdated -
Dieses Repositorium enthält eine Analyse der Softwareanforderungen des "Taschengeldfalles"
Updated -
Isabelle / Distribution
Creative Commons Attribution Share Alike 4.0 InternationalOMDoc export of the theories included in the Isabelle distribution
Updated -
SMGloM / logic
Creative Commons Attribution Share Alike 4.0 InternationalAn SMGloM Archive for Logic
Updated -
XML Coq Exports / coq-bignums.8.9.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / highschool / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-paco.2.0.2
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-cunit.1.0.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-fcsl-pcm.1.0.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Papers / 23-HDI-AnswerClasses
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-reglang.1
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Updated
-
courses / FAU / KRMT / problems
Creative Commons Attribution Share Alike 4.0 InternationalThe problems for the course Computational Logic at Jacobs University
Updated -
sTeX / Logic / TypeTheory
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-coquelicot.3.0.2
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Mihnea Iancu / SMGloM
Creative Commons Attribution Share Alike 4.0 InternationalA Semantic Multilingual Glossary for Mathematics.
Updated