Extending Isabelle/HOL's Code Generator with Support for the Go Programming Language. - Terru Stübinger; Lars Hupel (FM (2), 2024)

Go Code Generation for Isabelle. - Terru Stübinger; Lars Hupel (Arch. Formal Proofs, 2024)