English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

The Isabelle proof assistant includes a small functional language, whichallows users to write and reason about programs. So far, these programs couldbe extracted into a number of functional languages: Standard ML, OCaml, Scala,and Haskell. This work adds support for Go as a fifth target language for theCode Generator. Unlike the previous targets, Go is not a functional languageand encourages code in an imperative style, thus many of the features ofIsabelle's language (particularly data types, pattern matching, and typeclasses) have to be emulated using imperative language constructs in Go. Thedeveloped Code Generation is provided as an add-on library that can be simplyimported into existing theories.

Extending Isabelle/HOL's Code Generator with support for the Go programming language