Hacker News Reader

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!

View on HN

ack! try again, I forgot to update my account name since Discord got rid of # tags. I also put my email as a fallback.

Reply on news.ycombinator.com