Parser
Parser Combinator Library for Lean 4
Sort by
Require Order
UnicodeBasic
fd78e46
Basic Unicode support for Lean 4batteries
v4.24.0-rc1
The "batteries included" extended library for the Lean programming language and theorem prover
fd78e46
v4.24.0-rc1