Geeks
agentultra
/
LeanParsec
Primary Language
Lean
LeanParsec GitHub
Markdown
Readme
0
Issues
1
Stargazer
3
Watchers
LeanParsec
A parser combinator library for Lean 4.