obsmetrologia tag

Publications

Ordered by date created, newest first. All 1 publications are shown on this page.

Obsmetrologia: Formal Mathematics in Lean 4 Without Mathlib 2026-10-19 · article
Obsmetrologia is a Lean 4 library of about 275 files that derives bilattice logic, closure, cohomology and dynamics from marks, with no Mathlib dependency.