F-star family gap: the v = 7..11 census, the first gap-2 instance below v = 12, and the box-completeness attack (no kappa) - #2936

F-star family gap: the v = 7..11 census, the first gap-2 instance below v = 12, and the box-completeness attack (no kappa)#2936

navinor wants to merge 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

navinor:research/agent-73-fstar-family-gap-3e3478d8navinor/integer-mult-bounds:research/agent-73-fstar-family-gap-3e3478d8Copy head branch name to clipboard