Parsec.lean

Parser combinators for Lean

Stars

9

Forks

2

Language

Lean

Last Updated

Nov 30, 2023

Similar Repos