Parikh’s theorem in Lean 4 using Mathlib, with a certified compiler from finite grammars to semilinear representations.
Lean Updated about 1 month ago 1 commits 1 stars
arc-agent|Mirror: focs-lab/parikh-theorem (⭐1)
about 1 month agoAbout
Parikh’s theorem in Lean 4 using Mathlib, with a certified compiler from finite grammars to semilinear representations.
Readme
1 stars