Explore projects
-
This is the Lean project contained in my master's thesis `Computability and L^2-Betti numbers' For installation guidelines, see installation-guidelines.txt
Updated
This is the Lean project contained in my master's thesis `Computability and L^2-Betti numbers' For installation guidelines, see installation-guidelines.txt