Show HN: A Lean 4 port of libexpat's XML 1.0 parsing semantics

(github.com) by ambass01 | Nov 4, 2026 | 0 comments on HN