Explore projects

View kr project

SMGloM / kr
Creative Commons Attribution Share Alike 4.0 International

0

Updated Apr 18, 2026

0 0 0 0

Updated Apr 18, 2026
View General project

sTeX / MathBase / General
Creative Commons Attribution Share Alike 4.0 International

0

Updated Nov 26, 2025

0 0 0 0

Updated Nov 26, 2025
View Labour Procedural Law project

JLogic / SMGloL / Labour Procedural Law
Creative Commons Attribution Share Alike 4.0 International

0

Updated Apr 22, 2026

0 0 0 0

Updated Apr 22, 2026
View NewFoundation project

MitM / NewFoundation
Creative Commons Attribution Share Alike 4.0 International

EXPERIMENTAL: Requriements Analysis for a future Foundation for MitM.

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View meta-inf project

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

The metadata for the MaMoReD project at MathHub.info

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View coq-list-plus.1.1.0 project

XML Coq Exports / coq-list-plus.1.1.0
Creative Commons Attribution Share Alike 4.0 International

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View LATIN2 project

MMT / LATIN2
Creative Commons Attribution Share Alike 4.0 International

Logic Atlas, Version 2

0

Updated Jan 08, 2026

0 0 0 2

Updated Jan 08, 2026
View Software project

sTeX / ComputerScience / Software
Creative Commons Attribution Share Alike 4.0 International

0

Updated Dec 04, 2025

0 0 0 0

Updated Dec 04, 2025
View Inheritance-Law project

JLogic / SMGloL / Inheritance-Law
Creative Commons Attribution Share Alike 4.0 International

0

Updated Mar 17, 2026

0 0 0 0

Updated Mar 17, 2026
View course project

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

0

Updated Apr 20, 2026

0 0 0 0

Updated Apr 20, 2026
View algebra project

Christoph Geist / algebra

The SMGloM modules for elementary algebra.

0

Updated Jul 24, 2018

0 0 0 0

Updated Jul 24, 2018
View coq-ext-lib.0.10.1 project

XML Coq Exports / coq-ext-lib.0.10.1
Creative Commons Attribution Share Alike 4.0 International

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View documentation project

Coq / documentation
Creative Commons Attribution Share Alike 4.0 International

Articles describing the library export

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View ProgrammingLibraries project

SvenWille / ProgrammingLibraries
Creative Commons Attribution Share Alike 4.0 International

This repository contains libraries that are meant as "general purpose programming" libraries

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View coq-color.1.6.0 project

XML Coq Exports / coq-color.1.6.0

0

Updated Mar 02, 2019

0 0 0 0

Updated Mar 02, 2019
View 24-CICM-views-in-ALeA project

Papers / 24-CICM-views-in-ALeA
Creative Commons Attribution Share Alike 4.0 International

0

Updated Nov 26, 2025

0 0 0 0

Updated Nov 26, 2025
View coq-equations.1.2-beta-8.9 project

XML Coq Exports / coq-equations.1.2-beta-8.9
Creative Commons Attribution Share Alike 4.0 International

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View coq-interval.3.4.0 project

XML Coq Exports / coq-interval.3.4.0
Creative Commons Attribution Share Alike 4.0 International

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View grammar project

SMGloM / grammar
Creative Commons Attribution Share Alike 4.0 International

Basics for formal grammars

0

Updated Apr 18, 2026

0 0 0 3

Updated Apr 18, 2026
View elliptic-curves project

SMGloM / elliptic-curves
Creative Commons Attribution Share Alike 4.0 International

0

Updated Apr 18, 2026

0 0 0 0

Updated Apr 18, 2026