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

12Updated 2 months ago

Alternatives and similar repositories for A-formalization-of-Borel-determinacy-in-Lean

Users that are interested in A-formalization-of-Borel-determinacy-in-Lean are comparing it to the libraries listed below

Sorting: