formal-mathematics tag

Publications

Ordered by date created, newest first. Page 1 of 1; 2 publications total.

Lenticule Science: Four-Valued Logic, Agent Integration, x402 Markets and Formal Mathematics 2026-10-20 · article
Lenticule Science, the 561 Group's research company, publishes work on four-valued paraconsistent logic, concurrent AI agents, MAPE-K, x402 and Lean 4.
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.