I thought this has something to do with this book: https://forallx.openlogicproj...

		anta40 8 days ago \| parent \| context \| favorite \| on: Finding forall-exists Hyperbugs using Symbolic Exe... I thought this has something to do with this book: https://forallx.openlogicproject.org/forallxyyc-accessible.p...

		help