22

# Questions

21
37
9
3k
views

### How do they verify a verifier of formalized proofs?

aug 19 at 21:40 Mark Adams 51166

6
18
5
1k
views

### Easy proof of the fact that isotropic spaces are Euclidean

jan 19 12 at 9:47 Jose Navarro 13516

6
19
1
1k
views

### What can be tiled by T-tetrominoes?

jun 16 11 at 7:46 fiufhg 1

5
17
1
1k
views

### Is every smooth function Lebesgue-Lebesgue measurable?

mar 26 10 at 22:12 Anton Petrunin 16.4k41110

3
14
5
1k
views

### Smoothness of $f(\sqrt x)$

mar 25 at 21:48 Bazin 2,94828

2
16
3
963
views

### A set that can be covered by arbitrarily small intervals

jun 16 11 at 16:49 mmm 73238

2
9
3
957
views

### Contractible manifold with boundary - is it a disc?

mar 27 10 at 19:12 Anton Petrunin 16.4k41110

10
19
3
809
views

### Are fundamental groups of aspherical manifolds Hopfian?

may 20 10 at 17:28 Agol 23.9k13384

3
11
3
748
views

### Is there Domain Invariance for Alexandrov spaces?

apr 22 10 at 20:06 Igor Belegradek 9,84111342

5
2