search

anoma / juvix

A language for intent-centric and declarative decentralised applications
https://docs.juvix.org
GNU General Public License v3.0
442 stars 54 forks source link

Translate function bodies to Isabelle #2868

Open lukaszcz opened 2 days ago

lukaszcz commented 2 days ago

Work in progress