#prover0 — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #prover0, aggregated by home.social.
-
Fully evaluated left-sequential logics. ~ Alban Ponse, Daan J.C. Staudt. https://arxiv.org/abs/2403.14576 #ATP #Prover0 #Mace4 #Logic
-
Fully evaluated left-sequential logics. ~ Alban Ponse, Daan J.C. Staudt. https://arxiv.org/abs/2403.14576 #ATP #Prover0 #Mace4 #Logic
-
Fully evaluated left-sequential logics. ~ Alban Ponse, Daan J.C. Staudt. https://arxiv.org/abs/2403.14576 #ATP #Prover0 #Mace4 #Logic
-
Fully evaluated left-sequential logics. ~ Alban Ponse, Daan J.C. Staudt. https://arxiv.org/abs/2403.14576 #ATP #Prover0 #Mace4 #Logic
-
Fully evaluated left-sequential logics. ~ Alban Ponse, Daan J.C. Staudt. https://arxiv.org/abs/2403.14576 #ATP #Prover0 #Mace4 #Logic