Explore projects
-
FTML / math
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
HOL-Light / hol-light-export
GNU Affero General Public License v3.0Updated -
Updated
-
FAU CDI / Labs / Literacy / proposal-self-service
Creative Commons Attribution 4.0 InternationalUpdated -
Updated
-
-
A listing of CDI student projects, that we would either like to supervise as theses for pay a HiWi for.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
The sTeX explanations of the math content in MathDataHub (will probably be refactored at some point)
Updated -
Updated
-
Updated
-
This is an export of the Mizar Mathematical Library by Colin Rothgang, ArturKornilowicz, and Florian Rabe. See the export-paper repository for a description.
Updated -
Updated
-
-
Dieses Repositorium enthält eine Analyse der Softwareanforderungen des "Taschengeldfalles"
Updated