Latest posts tagged with #Prover0 on Bluesky
Fully evaluated left-sequential logics. ~ Alban Ponse, Daan J.C. Staudt. arxiv.org/abs/2403.14576 #ATP #Prover0 #Mace4 #Logic