Isabelle pragmas - Githubissues

anoma / juvix-stdlib

The Juvix standard library

https://anoma.github.io/juvix-stdlib/

11 stars 2 forks source link

Isabelle pragmas #105

Closed lukaszcz closed 4 months ago

lukaszcz commented 4 months ago

Adds pragmas and builtins needed for the translation to Isabelle/HOL.
Depends on https://github.com/anoma/juvix/pull/2868