☰
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.
7451cb5
v1.0.0
a month 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: 6586496 bytes.
Not a part of any version track.
7451cb5
v1.0.0
a month 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: 6586496 bytes.
1
20