No results found

chomsky

Port https://github.com/madvorak/grammars/ to Lean 4 (wip)
Sort by
  1. Git dependency.
    Not found on Reservoir.

    proofwidgetsc43db94

  2. Git dependency.
    Not found on Reservoir.

    Cli5a858c3

  3. Git dependency.
    Found on Reservoir.

    mathlib018a6a4

    The math library of Lean 4
  4. Git dependency.
    Not found on Reservoir.

    Qqe6ca4e7

  5. Git dependency.
    Not found on Reservoir.

    aesopf04538a

  6. Git dependency.
    Not found on Reservoir.

    stddff883c