- Category
- Developer Tools
- Rank
- No. 2751Tools index
- Type
- TOOL
- Date
About
lexpat is a Lean 4 port of libexpat's XML 1.0 parsing semantics, aimed at untrusted input. It provides a pure, total, resumable parser core, a one-shot wrapper, and machine-checked properties of the UTF-8 decoder. It also builds a shared library and header covering a bounded subset of the Expat C API, which is not a drop-in replacement outside that subset.
Tags
lean4xmlparserlibexpatformal-verificationsecurity
Comments (0)
No comments yet
Editorially curated, with community endorsements as a secondary signal. Corrections welcome.