Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

L

L2-Betti numbers and computability of reals - Lean Project

Project information

Release of the L2-comp lean project

Copyright 2022 Clara Löh and Matthias Uschold Licensed under the Apache License, Version 2.0 (the "License"); see LICENSE.txt

2 Commits
1 Branch
0 Tags

README
Apache License 2.0

Created on

February 04, 2022

Copy SSH clone URLgit@gitlab.com:L2-comp/l2-comp-lean.git
Copy HTTPS clone URLhttps://gitlab.com/L2-comp/l2-comp-lean.git