L
L2-Betti numbers and computability of reals - Lean Project
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
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