Reservoir

No results found

No README.md in repository.

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
17 more

Repository

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