Parsec.lean

Parser combinators for Lean

Stars

3

Forks

0

Language

Lean

Last Updated

Mar 16, 2023

Similar Repos