Explore projects
-
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 -
SMGloM / NLP
Creative Commons Attribution Share Alike 4.0 InternationalGlossary entries for Natural Language (Processing)
Updated -
Updated
-
SMGloM / categories
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Project consulting activities for group projects (CRCs, RTGs, ...)
UpdatedUpdated -
SMGloM / constants
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / Jacobs / GenCS / problems
Creative Commons Attribution Share Alike 4.0 InternationalThe problems of the course General Computer Science at Jacobs University.
Updated -
SMGloM / linear-algebra
Creative Commons Attribution Share Alike 4.0 InternationalThe SMGloM modules on linear algebra.
Updated -
FAU CDI / Labs / CRIS / HiWi Projects / Produktiv / affiliation-identification
GNU Affero General Public License v3.0UpdatedUpdated -
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 -
Updated
-
meta / kwarcbibs
Creative Commons Attribution Share Alike 4.0 InternationalA math archive with the KWARC bibs from https://github.com/KWARC/bibs
Updated -
XML Coq Exports / coq-paramcoq.1.1.1-coq8.9
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
FAU CDI / Labs / CRIS / HiWi Projects / Produktiv / evaluna-import
GNU Affero General Public License v3.0UpdatedUpdated -
SMGloM / sets
Creative Commons Attribution Share Alike 4.0 InternationalElementary set theory for the SMGloM
Updated -
FAU CDI / Labs / CRIS / HiWi Projects / automatische-autorenverknuepfung
GNU Affero General Public License v3.0UpdatedUpdated