Skip to content

WHIR recursion on GPU (RPX) with ZisK-style proof formats: block 25368371 in 40.20 s - #1010

Draft
MauroToscano wants to merge 1134 commits into
mainfrom
whir-recursion-rpx
Draft

MauroToscano wants to merge 1134 commits into
mainfrom
whir-recursion-rpx