Explore projects

View manifolds project

SMGloM / manifolds
Creative Commons Attribution Share Alike 4.0 International

This SMGloM repository contains modules specifying manifolds and their properties.

0

Updated Nov 26, 2025

0 0 0 0

Updated Nov 26, 2025
View coq-geometric-algebra.0.8.8 project

XML Coq Exports / coq-geometric-algebra.0.8.8
Creative Commons Attribution Share Alike 4.0 International

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View coq-hammer.1.1-8.9 project

XML Coq Exports / coq-hammer.1.1-8.9
Creative Commons Attribution Share Alike 4.0 International

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View CompLog project

Ion Toloaca / CompLog
Creative Commons Attribution Share Alike 4.0 International

The slides and course notes of the course Computational Logic at Jacobs University.

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View coq-function-ninjas.1.0.0 project

XML Coq Exports / coq-function-ninjas.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 template project

meta / template
Creative Commons Attribution Share Alike 4.0 International

Template repository for an MathHub/MMT archive. Documents the structure created by lmh when intiializing a repository (modulo archive name and optional config)

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View physics-units project

urabenstein / physics-units
Creative Commons Attribution Share Alike 4.0 International

Tom's guided research project

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View 26-BAI-FLAMS project

Papers / 26-BAI-FLAMS
Creative Commons Attribution Share Alike 4.0 International

0

Updated Oct 09, 2025

0 0 0 0

Updated Oct 09, 2025
View voll-ki project

Talks / voll-ki
Creative Commons Attribution Share Alike 4.0 International

0

Updated Dec 05, 2025

0 0 0 6

Updated Dec 05, 2025
View Distribution project

Aldor / Distribution

0

Updated Apr 20, 2023

0 0 0 0

Updated Apr 20, 2023
View coq-bignums.8.9.0 project

XML Coq Exports / coq-bignums.8.9.0
Creative Commons Attribution Share Alike 4.0 International

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View SUMO project

SUOKIF / SUMO

0

Updated Nov 12, 2021

0 0 0 0

Updated Nov 12, 2021
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 coq-flocq.3.1.0 project

XML Coq Exports / coq-flocq.3.1.0
Creative Commons Attribution Share Alike 4.0 International

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View equations project

Coq / equations
Creative Commons Attribution Share Alike 4.0 International

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 KWARC project

Ion Toloaca / KWARC
Creative Commons Attribution Share Alike 4.0 International

Basics about KWARC, Jacobs, etc. and other missing stuff.

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 mmtextensions project

SvenWille / mmtextensions
Creative Commons Attribution Share Alike 4.0 International

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View sTeX project

Talks / sTeX
Creative Commons Attribution Share Alike 4.0 International

0

Updated Nov 17, 2025

0 0 0 0

Updated Nov 17, 2025