top | item 41199176 (no title) hackpert | 1 year 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! discuss order hn newest sterlind|1 year ago ack! try again, I forgot to update my account name since Discord got rid of # tags. I also put my email as a fallback.
sterlind|1 year ago ack! try again, I forgot to update my account name since Discord got rid of # tags. I also put my email as a fallback.
sterlind|1 year ago