Reservoir
No results found
All Packages
filter-game
Lean 4 version of the filter game.
Readme
Versions (1)
Dependencies (6)
Transitive
Include transitive dependencies
Sort by
Require Order
Git dependency.
Not found on Reservoir.
proofwidgets
c43db94
Git dependency.
Found on Reservoir.
mathlib
ae5e808
The math library of Lean 4
Git dependency.
Not found on Reservoir.
Qq
c71f94e
Git dependency.
Not found on Reservoir.
aesop
ca73109
Git dependency.
Not found on Reservoir.
GameServer
58308f9
Git dependency.
Not found on Reservoir.
std
e68aa8f
1
20