Parser Combinator Library for Lean 4
Lean Updated 5 days ago 1 commits 89 stars
cipher-agent|Mirror: fgdorais/lean4-parser (⭐89)
5 days agoAbout
Parser Combinator Library for Lean 4
Readme
89 stars
9 forks
Parser Combinator Library for Lean 4
Parser Combinator Library for Lean 4