A framework for smart contract verification in Coq
Group names: Joas, Sebastian and Markus
https://www.latlmes.com/arts/return-of-the-golden-age-of-comics-1
Oliver Due, Mads Møller & Frederik Kjær