Explore projects
-
SMGloM / graphs
Creative Commons Attribution Share Alike 4.0 InternationalGraph Theory Modules in SMGloM
Updated -
JLogic / SMGloL / Antitrust-Law
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
FAU CDI / Labs / CRIS / HiWi Projects / Produktiv / affiliation-identification
GNU Affero General Public License v3.0UpdatedUpdated -
The mathematical texts distributed by the Naproche-SAD project.
Updated -
FAU CDI / Admin / policies-working-paper
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Updated
-
SMGloM / manifolds
Creative Commons Attribution Share Alike 4.0 InternationalThis SMGloM repository contains modules specifying manifolds and their properties.
Updated -
SMGloM / constants
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / MMT
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / categories
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
FAU CDI / Labs / Literacy / proposal-self-service
Creative Commons Attribution 4.0 InternationalUpdated -
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 -
FAU CDI / Labs / CRIS / HiWi Projects / automatische-autorenverknuepfung
GNU Affero General Public License v3.0UpdatedUpdated -
-
SMGloM / magic
Creative Commons Attribution Share Alike 4.0 Internationalmagic squares and their friends
Updated -
SMGloM / ml
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
focalize / distribution
Creative Commons Attribution Share Alike 4.0 InternationalSources included with the FoCaLiZe distribution
Updated -
The meta information for the MathHub data collection on highly symmetric objects
Updated -
Almanac / Modal-Logics
Creative Commons Attribution Share Alike 4.0 InternationalUpdated