Explore projects
-
JLogic / SMGloL / Copyright-Law
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-geocoq.2.3.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
problems / smglom
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 -
-
XML Coq Exports / coq-mathcomp-field.1.7.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / FAU / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / FAU / data-protection-law / course
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
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 -
Coq / Foundation
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
-
Coq / error-handlers
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-charge-core.1.2.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / physics
Creative Commons Attribution Share Alike 4.0 InternationalElementary physics
Updated -
HelloWorld / paper
Creative Commons Attribution Share Alike 4.0 InternationalA Hello World repository of an sTeX paper.
Updated -
courses / FAU / IWGS / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-functional-algebra.1.0.2
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
FAU CDI / Labs / CRIS / HiWi Projects / destatis-klassifikation
GNU Affero General Public License v3.0UpdatedUpdated