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

(github.com)

2 points | by ambass01 7 hours ago ago