Acorn and the future of (AI?) theorem proving(lmao.bearblog.dev)24 points by LolWolf 1 year ago | 1 comments