[hackpert]

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]

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