Show HN: Formal Verification via Spectral Geometry (Lean 4)

(github.com) by MohskiBroskiAI | Jan 8, 2026 | 1 comments on HN