tag archive
foundations tag
Publications
Ordered by date created, newest first. Page 1 of 1; 1 publications total.
- 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.