Explore projects

View meta-inf project

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

0

Updated Nov 11, 2025

0 0 0 0

Updated Nov 11, 2025
View Course project

JLogic / Course

The public repository for the JLogic law formalization course

0

Updated Nov 07, 2025

0 0 0 0

Updated Nov 07, 2025
View PvH project

JLogic / PvH

Popov v. Hayashi as a Context Graph

0

Updated Nov 07, 2025

0 0 0 0

Updated Nov 07, 2025
View data-visualisation project

FAU CDI / Labs / CRIS / HiWi Projects / data-visualisation
GNU Affero General Public License v3.0

Software zur Visualisierung von CRIS-Inhalten

0

Updated Oct 31, 2025

0

Updated Oct 31, 2025
View LATIN project

MMT / LATIN
Creative Commons Attribution Share Alike 4.0 International

The Logic Atlas and Integrator project content (still in TWELF, not MMT syntax)

1

Updated Oct 01, 2025

1 0 0 1

Updated Oct 01, 2025
View GenCS project

Ion Toloaca / GenCS
Creative Commons Attribution Share Alike 4.0 International

The slides and course notes of the course General Computer Science at Jacobs University.

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View MoviExplorer project

Andra Lezza / MoviExplorer
Creative Commons Attribution Share Alike 4.0 International

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View Basic project

HOLLight / Basic
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

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

Meta-information for the TPS library

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View sets project

Jinbo Zhang / sets
Creative Commons Attribution Share Alike 4.0 International

Elementary set theory for the SMGloM

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View sets project

hang / sets
Creative Commons Attribution Share Alike 4.0 International

Elementary set theory for the SMGloM

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View Prelude project

PVS / Prelude
Creative Commons Attribution Share Alike 4.0 International

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View sets project

Tianlin / sets
Creative Commons Attribution Share Alike 4.0 International

Elementary set theory for the SMGloM

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View SMGloM project

Tianlin / SMGloM
Creative Commons Attribution Share Alike 4.0 International

A Semantic Multilingual Glossary for Mathematics.

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View smglom project

HelloWorld / smglom
Creative Commons Attribution Share Alike 4.0 International

An example for the MathHub Worker

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View coursematerials project

HelloWorld / coursematerials
Creative Commons Attribution Share Alike 4.0 International

An example for the MathHub Worker

0

Updated Oct 01, 2025

0 0 0 1

Updated Oct 01, 2025
View hwexam project

HelloWorld / hwexam
Creative Commons Attribution Share Alike 4.0 International

An hello world repository for problems and exams for the MathHub worker.

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View MMT project

HelloWorld / MMT
Creative Commons Attribution Share Alike 4.0 International

MMT example

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View topology project

Tianlin / topology
Creative Commons Attribution Share Alike 4.0 International

The SMGloM modules for topology

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View meta-inf project

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

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025