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

 (github.com)

2 points | by ambass01 3 hours ago

0 comments