Reservoir
No results found
All Packages
thue
Semi-Thue systems a.k.a. string rewriting systems
Readme
Versions (1)
Dependencies (7)
Transitive
Include transitive dependencies
Sort by
Require Order
Git dependency.
Not found on Reservoir.
proofwidgets
c43db94
Git dependency.
Found on Reservoir.
chomsky
a27e214
Port https://github.com/madvorak/grammars/ to Lean 4 (wip)
Git dependency.
Not found on Reservoir.
Cli
5a858c3
Git dependency.
Found on Reservoir.
mathlib
018a6a4
The math library of Lean 4
Git dependency.
Not found on Reservoir.
Qq
e6ca4e7
Git dependency.
Not found on Reservoir.
aesop
f04538a
Git dependency.
Not found on Reservoir.
std
dff883c
1
20