3 ms·
Ahh, so maybe we should first focus on formalizing Lean itself?
by pkoird 2y ago
Ahh, so maybe we should first focus on formalizing Lean itself?
- digama0 2y agoShould I introduce you to https://arxiv.org/abs/2403.14064 https://arxiv.org/abs/2403.14064 ?