Prove actual P112 invoices at d=1 and d=2 for t=2,3 - #3689

Prove actual P112 invoices at d=1 and d=2 for t=2,3#3689

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

conorholds:submission/p112-audit-clarifiedconorholds/integer-mult-bounds:submission/p112-audit-clarifiedCopy head branch name to clipboard