Bluesky Explorer

#Prover0

Latest posts tagged with #Prover0 on Bluesky

Trending

#St. Patrick's Day #World Baseball Classic #Rachel Maddow #Trump and Cuba #Vaccine Policy #DLSS 5 #Oscars #Strait of Hormuz #Sonic Racing #Ukraine Conflict #St. Patrick's Day #World Baseball Classic #Rachel Maddow #Trump and Cuba #Vaccine Policy #DLSS 5 #Oscars #Strait of Hormuz #Sonic Racing #Ukraine Conflict

Posts tagged #Prover0

José A. Alonso

@jalonso.eurosky.social

1 year ago

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

1 0 0 0