menu

Terru Stübinger

0009-0006-7411-2533

Homepages 🌐

https://stuebinm.eu/

Entries

2024

Go Code Generation for Isabelle

by Terru Stübinger 🌐 and Lars Hupel 🌐

Jan 22