madvorakthue

Semi-Thue systems a.k.a. string rewriting systems
Displaying 1-1 of 1 versions of thue
Sort by
  1. Not a part of any version track.
    00c5d7b
    2 years ago
    Released on September 27, 2023 at 11:01:42AM
    Commit 00c5d7b builds on its old leanprover/lean4:nightly-2023-07-12
    nightly-2023-07-12