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

Loading