☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (4)
Dependencies (10)
Dependents (1)
chomsky
Port https://github.com/madvorak/grammars/ to Lean 4
Displaying
1-4
of
4
versions of
chomsky
Sort by
Date
Not a part of any version track.
ea57b8b
v1.2.0
10 days ago
Released on February 26, 2026 at 8:58:00AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.18.0
Not a part of any version track.
ea57b8b
v1.2.0
10 days ago
Released on February 26, 2026 at 8:58:00AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.18.0
Not a part of any version track.
ee31e94
v1.1.0
15 days ago
Released on February 21, 2026 at 2:20:01PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.18.0
Not a part of any version track.
7451cb5
v1.0.0
3 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