Terru Stübinger

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Natural Deduction

Programming Language

Top Venues

Arch. Formal Proofs

Publications

Terru Stübinger, Lars Hupel
Go Code Generation for Isabelle. Arch. Formal Proofs 2024 (2024)
Terru Stübinger, Lars Hupel
Extending Isabelle/HOL's Code Generator with support for the Go programming language. CoRR (2023)