3 ms·
The best discussion is here: https://leanprover.zulipchat.com/#narrow/stream/219941-Machine-Learning-for-Theorem-Proving https://leanprover.zulipchat.com/#narro
by zone411 2y ago
The best discussion is here: https://leanprover.zulipchat.com/#narrow/stream/219941-Machine-Learning-for-Theorem-Proving https://leanprover.zulipchat.com/#narrow/stream/219941-Machi...