Explore projects

Some foundations of Tannakian Symbols and their relations.

The SMGloM contributions of Jukka Kohonen.

The staging ground for Theresa's SMGloM contributions

FormalCAD Project Content

General Metadata that apply to all MathHub content.

The Metadata for the MMATh formalizations and active documents.

The metadata for the KwarcMH project at MathHub.info

The public repository for the JLogic law formalization course

Popov v. Hayashi as a Context Graph