jcp19/zh_gophers_gobra

Slide deck and examples from my talk on Gobra @ Zürich Gophers, 26.10.2022

Go