Commit d80fb20e authored by Nadim Kobeissi's avatar Nadim Kobeissi 💎

Remove WIP Go implementation generation

We have decided to not focus on Verifpal generating software
implementations from models and to instead dedicate our efforts to other
aspects of Verifpal.
parent 820963ed
Pipeline #723 passed with stages
in 3 minutes and 1 second