🛠️ A Lean 4 port of libexpat's XML 1.0 parsing semantics
Summary
Lexpat is a Lean 4 port of libexpat's XML 1.0 parsing semantics. It provides XML 1.0 parsing capabilities within the Lean 4 ecosystem.
Why it’s interesting
It ports a widely used XML parser implementation to the Lean 4 theorem proving and programming language.
Source metrics: Points 2 · Comments 0
HN discussion · Project
Source: #HackerNews / Show HN
Summary
Lexpat is a Lean 4 port of libexpat's XML 1.0 parsing semantics. It provides XML 1.0 parsing capabilities within the Lean 4 ecosystem.
Why it’s interesting
It ports a widely used XML parser implementation to the Lean 4 theorem proving and programming language.
Source metrics: Points 2 · Comments 0
HN discussion · Project
Source: #HackerNews / Show HN