☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (2)
Dependencies (10)
Dependents (1)
chomsky
Port https://github.com/madvorak/grammars/ to Lean 4
Displaying
1-2
of
2
versions of
chomsky
Sort by
Date
Not a part of any version track.
a2591d9
3 days ago
Released on February 18, 2026 at 3:25:52PM
Commit a2591d9 builds on its old leanprover/lean4:v4.18.0
v4.18.0
6.6 MB
Build archive size: 6583043 bytes.
Not a part of any version track.
7451cb5
v1.0.0
2 months ago
Released on December 10, 2025 at 7:08:04PM
Commit 7451cb5 builds on its old leanprover/lean4:v4.18.0
v4.18.0
6.6 MB
Build archive size: 6586283 bytes.
1
20