L

Lean Project - Computability and L2-Betti Numbers

Project information

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

2 Commits
1 Branch
0 Tags

README

Created on

July 29, 2021

Loading

Datenschutzerklärung | Impressum