No results found

thue

Semi-Thue systems a.k.a. string rewriting systems
Sort by
  1. Git dependency.
    Not found on Reservoir.

    proofwidgetsc43db94

  2. Git dependency.
    Found on Reservoir.

    chomskya27e214

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

    Cli5a858c3

  4. Git dependency.
    Found on Reservoir.

    mathlib018a6a4

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

    Qqe6ca4e7

  6. Git dependency.
    Not found on Reservoir.

    aesopf04538a

  7. Git dependency.
    Not found on Reservoir.

    stddff883c