Explore projects
-
Teaching / LBS2324
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
KwarcMH / FormalCAD
Creative Commons Attribution Share Alike 4.0 InternationalFormalCAD Project Content
Updated -
XML Coq Exports / coq-mathcomp-ssreflect.1.7.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Isabelle / AFP
Creative Commons Attribution Share Alike 4.0 InternationalOMDoc export of the Archive of Formal Proofs
Updated -
-
scucoco / try
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Naomi Pentrel / RPresentation
Creative Commons Attribution Share Alike 3.0 GermanyUpdated -
Isabelle / Distribution
Creative Commons Attribution Share Alike 4.0 InternationalOMDoc export of the theories included in the Isabelle distribution
Updated -
Coq / equations
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Updated
-
Dieses Repositorium enthält eine Analyse der Softwareanforderungen des "Taschengeldfalles"
Updated -
Mihnea Iancu / SMGloM
Creative Commons Attribution Share Alike 4.0 InternationalA Semantic Multilingual Glossary for Mathematics.
Updated -
XML Coq Exports / coq-coquelicot.3.0.2
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / highschool / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
sTeX / Logic / TypeTheory
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / FAU / KRMT / problems
Creative Commons Attribution Share Alike 4.0 InternationalThe problems for the course Computational Logic at Jacobs University
Updated -
XML Coq Exports / coq-math-classes.8.8.1
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
FAU CDI / Labs / Outreach / Media files
Creative Commons Attribution Non Commercial No Derivatives 4.0 InternationalUpdatedUpdated -
XML Coq Exports / coq-io-list.1.1.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Coq / cfml
Creative Commons Attribution Share Alike 4.0 InternationalUpdated