Thinnings: Sublist Witnesses and de Bruijn Index Shift Clumping (by philzook) — discussion
#formalmethods #plt
