6 ms·
Hi! I've been working on theorem proving systems for some time now. I would love to help out with an AlphaProof reproduction, but I can't reach you on discord f
by hackpert 2y ago
Hi! I've been working on theorem proving systems for some time now. I would love to help out with an AlphaProof reproduction, but I can't reach you on discord for some reason!
- sterlind 2y agoack! try again, I forgot to update my account name since Discord got rid of # tags. I also put my email as a fallback.