The logic of Bunched implications is undecidable, mechanized in Rocq. ~ Dominique Larchey-Wendling. members.loria.fr/DLarchey/fil... #Rocq #ITP
@jalonso.eurosky.socialExplore
@jalonso.eurosky.social
@jalonso.eurosky.socialThe logic of Bunched implications is undecidable, mechanized in Rocq. ~ Dominique Larchey-Wendling. members.loria.fr/DLarchey/fil... #Rocq #ITP