FORWARD in COQ Handel | Konvertieren von Forward Protocol in Coq Inu auf SimpleSwap