☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
Dependencies (7)
thue
Semi-Thue systems a.k.a. string rewriting systems
Displaying
1-1
of
1
versions of
thue
Sort by
Date
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
1
20