@Article{stuebingerHupel2024b,
author = {Terru St{\"{u}}binger and
Lars Hupel},
title = {Go Code Generation for Isabelle},
journal = {Archive of Formal Proofs},
month = {January},
year = {2024},
note = {Formal proof development},
url = {https://www.isa-afp.org/entries/Go.html},
issn = {2150-914x}
}
Go Code Generation for Isabelle
| Autor(en): | Terru Stübinger und Lars Hupel |
|---|---|
| Zeitschrift: | Archive of Formal Proofs |
| Jahr: | 2024 |
| URL: | https://www.isa-afp.org/entries/Go.html |
Anmerkung
Formal proof development