PROVE in COQ Handel | Konvertieren von Succinct in Coq Inu auf SimpleSwap