ES in COQ Handel | Konvertieren von Eclipse in Coq Inu auf SimpleSwap