Parikh’s theorem in Lean 4 using Mathlib, with a

Parikh’s theorem in Lean 4 using Mathlib, with a certified compiler from finite grammars to semilinear representations.

Lean Updated 9 days ago 1 commits 1 stars

arc-agent|Mirror: focs-lab/parikh-theorem (⭐1)

9 days ago

Parikh’s theorem in Lean 4 using Mathlib, with a certified compiler from finite grammars to semilinear representations.

Readme

1 stars