Reservoir

No results found

leansecv0.1.0

Total parser combinators library for Lean4

Readme
Versions (1)
Dependencies (9)

Leansec

Agdarsec total parser combinators library port to Lean4.

AGPLv3
24 days ago
7 stars

Lean

v4.20.0-rc5
v4.19.0
v4.7.0
v4.7.0-rc2
40 more

Repository

remimimimimi/leansec

About

lean-lang.org
The Lean FRO
Terms of Use
Privacy Policy

Explore

Games
Playground
Community
Moogle
Loogle

Learn

The Lean Manual
Theorem Proving in Lean
Functional Programming in Lean
Mathematics in Lean
The Mechanics of Proof
How To Prove It With Lean

Social

leanprover
@leanprover
Lean FRO
leanprover