Explore projects
-
Updated
-
Updated
-
courses / FAU / GDP / problems
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
JLogic / SMGloL / Data-Law
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / Jacobs / GenICT / course
Creative Commons Attribution Share Alike 4.0 InternationalThe Course General ICT at Jacobs University
Updated -
FAU CDI / Labs / CRIS / HiWi Projects / deduplicate
GNU Affero General Public License v3.0Software zur Deduplizierung von CRIS-Inhalten
UpdatedUpdated -
MMT / interfaces
Creative Commons Attribution Share Alike 4.0 InternationalInterface theories -- construction site --
Updated -
Coq / coq.8.9.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Updated
-
courses / FAU / SymNLProj / hwexam
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / math
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / graphs
Creative Commons Attribution Share Alike 4.0 InternationalGraph Theory Modules in SMGloM
Updated -
SMGloM / categories
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / constants
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
FAU CDI / Labs / CRIS / HiWi Projects / Produktiv / affiliation-identification
GNU Affero General Public License v3.0UpdatedUpdated -
SMGloM / www
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / jukka
Creative Commons Attribution Share Alike 4.0 InternationalThe SMGloM contributions of Jukka Kohonen.
Updated -
The mathematical texts distributed by the Naproche-SAD project.
Updated -
SMGloM / MMT
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
FAU CDI / Admin / policies-working-paper
Creative Commons Attribution Share Alike 4.0 InternationalUpdated