Explore projects

View problems-praveen project

courses / FAU / AI / problems-praveen
Creative Commons Attribution Share Alike 4.0 International

Practice (quiz) problems for the course AI-1/2 provided by Praveen; to be moved to the respective archives later after proof-reading

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View Course project

JLogic / Course

The public repository for the JLogic law formalization course

0

Updated Jul 06, 2020

0 0 0 0

Updated Jul 06, 2020
View 23-GeCon-Y-Model project

Papers / 23-GeCon-Y-Model
Creative Commons Attribution Share Alike 4.0 International

0

Updated Oct 11, 2025

0 0 0 0

Updated Oct 11, 2025
View teaching project

Florian Rabe / teaching
Creative Commons Attribution Share Alike 4.0 International

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View GLForTheL project

COMMA / GLForTheL
Creative Commons Attribution Share Alike 4.0 International

GLForTheL is the result of a case study into the suitability of GLF (now GLIF) for the development of controlled mathematical languages. Specifically, we tried to re-implement ForTheL, the language of SAD.

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View Sven Master project

SvenWille / Sven Master
Creative Commons Attribution Share Alike 4.0 International

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View LBS2223 project

Teaching / LBS2223
Creative Commons Attribution Share Alike 4.0 International

Repository for the LBS lecture, winter semester 2022/2023

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View meta-inf project

courses / UMR / meta-inf
Creative Commons Attribution Share Alike 4.0 International

0

Updated Oct 31, 2025

0 0 0 0

Updated Oct 31, 2025
View hwexam project

courses / FAU / SymNLProj / hwexam
Creative Commons Attribution Share Alike 4.0 International

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View coq-cunit.1.0.0 project

XML Coq Exports / coq-cunit.1.0.0
Creative Commons Attribution Share Alike 4.0 International

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View SMGloM-Doc project

Jürgen Schefter / SMGloM-Doc
Creative Commons Attribution Share Alike 4.0 International

Documentation about the SMGloM

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View coq.8.9.0 project

XML Coq Exports / coq.8.9.0

0

Updated Nov 21, 2024

0 0 0 7

Updated Nov 21, 2024
View course project

courses / FAU / GLOIN / course
Creative Commons Attribution Share Alike 4.0 International

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View course project

courses / Jacobs / GenICT / course
Creative Commons Attribution Share Alike 4.0 International

The Course General ICT at Jacobs University

0

Updated Oct 31, 2025

0 0 0 12

Updated Oct 31, 2025
View coq-reglang.1 project

XML Coq Exports / coq-reglang.1
Creative Commons Attribution Share Alike 4.0 International

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View LBS2122 project

Teaching / LBS2122
Creative Commons Attribution Share Alike 4.0 International

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View meta-inf project

Talks / meta-inf
Creative Commons Attribution Share Alike 4.0 International

0

Updated Oct 19, 2025

0 0 0 0

Updated Oct 19, 2025
View Administration project

FAU CDI / Labs / Outreach / Administration
Creative Commons Attribution Non Commercial No Derivatives 4.0 International

0

Updated Oct 22, 2025

0

Updated Oct 22, 2025
View inf project

meta / inf
Creative Commons Attribution Share Alike 4.0 International

General Metadata that apply to all MathHub content.

0

Updated Oct 01, 2025

0 0 0 1

Updated Oct 01, 2025
View CCU project

sTeX / CCU
Creative Commons Attribution Share Alike 4.0 International

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025