borel_det | Reservoir

METADATA

Apache 2.0
3 months ago
12 stars

LEAN

v4.19.0-rc3
v4.19.0-rc2
v4.18.0
v4.16.0-rc2
v4.15.0-rc1
v4.14.0
v4.14.0-rc3
v4.14.0-rc2
v4.13.0
v4.13.0-rc3
18 more

REPOSITORY

sven-manthe/A-formalization-of-Borel-determinacy-in-Lean

No README.md in repository.