3 ms·
Maybe someone finds this interesting. This paper seems to be related: https://arxiv.org/abs/1907.04490 https://arxiv.org/abs/1907.04490
by afabisch 7y ago
Maybe someone finds this interesting. This paper seems to be related: https://arxiv.org/abs/1907.04490 https://arxiv.org/abs/1907.04490
- formalsystem 7y agoI've been meaning to read this, will keep you posted