Skip to content

GitLab

Explore

Sign in

usm34387
Lean Project - Computability and L2-Betti Numbers

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

Copy SSH clone URLgit@git.uni-regensburg.de:usm34387/lean-master-thesis-release.git
Copy HTTPS clone URLhttps://git.uni-regensburg.de/usm34387/lean-master-thesis-release.git

Datenschutzerklärung | Impressum