/Megaparsec.lean

Lean 4 port of Megaparsec

Primary LanguageLeanMIT LicenseMIT

Stargazers