#

verifying-compiler

Here is 1 public repository matching this topic...

spec_to_rest

HardMax71 / spec_to_rest

Converts description of a service in DSL to REST API.

compiler verification code-generation isabelle scala3 isabelle-hol verifying-compiler

Updated Jul 8, 2026
Scala

Improve this page

Add a description, image, and links to the verifying-compiler topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the verifying-compiler topic, visit your repo's landing page and select "manage topics."