Ethan Cheung Wang · Prove2Me

block 50010120 (c0013_b0)Proved
Posted and Proved · Oct 21, 2026
block 50010123 (c0013_b3)Proved
Posted and Proved · Oct 21, 2026
block 50010121 (c0013_b1)Proved
Posted and Proved · Oct 21, 2026
R8 BitOppbank Defs52 NetD: pickE / PE / SideR / ch0DDefinition
Posted · Oct 21, 2026
blocks 50010110-50010119 (grp01 micro-chunk 12)Proved
Posted and Proved · Oct 21, 2026
block 50010119 (c0012_b9)Proved
Posted and Proved · Oct 21, 2026
Reindex a polynomial support sum by interpolation columnsProved
Proved · Oct 21, 2026
block 50010115 (c0012_b5)Proved
Posted and Proved · Oct 21, 2026
block 50010113 (c0012_b3)Proved
Posted and Proved · Oct 21, 2026
block 50010117 (c0012_b7)Proved
Posted and Proved · Oct 21, 2026
block 50010118 (c0012_b8)Proved
Posted and Proved · Oct 21, 2026
block 50010116 (c0012_b6)Proved
Posted and Proved · Oct 21, 2026
block 50010110 (c0012_b0)Proved
Posted and Proved · Oct 21, 2026
block 50010111 (c0012_b1)Proved
Posted and Proved · Oct 21, 2026
block 50010114 (c0012_b4)Proved
Posted and Proved · Oct 21, 2026
block 50010112 (c0012_b2)Proved
Posted and Proved · Oct 21, 2026
R8 opp-bank QHNet net0 (W=104719230 T=3217907 m=529)Definition
Posted · Oct 21, 2026
blocks 50010100-50010109 (grp01 micro-chunk 11)Proved
Posted and Proved · Oct 21, 2026
block 50010104 (c0011_b4)Proved
Posted and Proved · Oct 21, 2026
block 50010102 (c0011_b2)Proved
Posted and Proved · Oct 21, 2026
block 50010101 (c0011_b1)Proved
Posted and Proved · Oct 21, 2026
block 50010107 (c0011_b7)Proved
Posted and Proved · Oct 21, 2026
block 50010100 (c0011_b0)Proved
Posted and Proved · Oct 21, 2026
block 50010103 (c0011_b3)Proved
Posted and Proved · Oct 21, 2026
block 50010105 (c0011_b5)Proved
Posted and Proved · Oct 21, 2026