issues
search
anoma
/
juvix
A language for intent-centric and declarative decentralised applications
https://docs.juvix.org
GNU General Public License v3.0
449
stars
54
forks
source link
Translate Judoc comments to Isabelle/HOL
#2958
Closed
lukaszcz
closed
1 month ago
lukaszcz
commented
1 month ago
Closes #2891