Explore projects
-
courses / FAU / SMAI / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Tutorials / KRMT23
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / numthyfun
Creative Commons Attribution Share Alike 4.0 InternationalNumber Theoretic Functions
Updated -
SMGloM / atp
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-geocoq.2.3.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
A listing of CDI student projects, that we would either like to supervise as theses for pay a HiWi for.
Updated -
SMGloM / education
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / geometry
Creative Commons Attribution Share Alike 4.0 InternationalThe SMGloM modules for geometry
Updated -
-
voll-ki / ALeA
Creative Commons Attribution Share Alike 4.0 InternationalUser Manual and Documents about the ALeA (Adaptive Learning Assistant) System.
Updated -
XML Coq Exports / coq-mathcomp-field.1.7.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / GdP
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / FAU / IWGS / course
Creative Commons Attribution Share Alike 4.0 InternationalThe course notes and slides of the course "Informatische Werkzeuge der Geistes- und Sozialwissenschaften" at FAU Elangen-Nürnberg
Updated -
XML Coq Exports / coq-mathcomp-bigenough.1.0.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
-
Almanac / context-graph
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / mathsoft
Creative Commons Attribution Share Alike 4.0 InternationalA SMGloM archive for mathematical Software
Updated -
Coq / Foundation
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
-
Coq / error-handlers
Creative Commons Attribution Share Alike 4.0 InternationalUpdated