madvorakchomsky

Port https://github.com/madvorak/grammars/ to Lean 4 (wip)
Displaying 1-1 of 1 versions of chomsky
Sort by
  1. Not a part of any version track.
    b5c2a1b
    a year ago
    Released on June 12, 2024 at 12:17:55PM
    Commit b5c2a1b builds on its old leanprover/lean4:nightly-2023-07-12
    nightly-2023-07-12