issues
search
Glow-Lang
/
glow
The Glow language for Blockchain Decentralized Applications.
https://glow-lang.org
Apache License 2.0
58
stars
8
forks
source link
Formal verification v.0.1
#418
Open
marcinjangrzybowski
opened
2 years ago