GitHub repository: yatima-inc/Megaparsec.lean
Primary language: Lean
Created: 2022-06-03T21:53:37Z
Description: Lean 4 port of Megaparsec