Reservoir
No results found
All Packages
thue
Semi-Thue systems a.k.a. string rewriting systems
Readme
Versions (1)
Dependencies (7)
Displaying
1-1
of
1
versions of
thue
Sort by
Date
Not a part of any version track.
00c5d7b
a year 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