#

taulib

Here are 2 public repositories matching this topic...

Panta-Rhei-Research / taulib

Live Lean 4 formalization of Category τ — 450 modules, 125K lines, 4,332 theorems, 0 sorry in Books I–VI

proof-assistant category-theory formalization mathematical-physics lean4 taulib panta-rhei

Updated Apr 14, 2026
Lean

Panta-Rhei-Research / formalization

ARCHIVED — Superseded by taulib (live) and books (frozen snapshot)

framework formalization lean4 taulib panta-rhei

Updated Apr 14, 2026
Lean

Improve this page

Add a description, image, and links to the taulib topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the taulib topic, visit your repo's landing page and select "manage topics."