Giters

kelecorix / covenant

Covenant - modern programming language for blockchains - it's a functional, statically-typed language with formal verification features

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

formal-verificationprogramming-languagesmart-contractszero-knowledge-proofs

Covenant

About

Covenant - modern programming language for blockchains - it's a functional, statically-typed language with formal verification features

formal-verificationprogramming-languagesmart-contractszero-knowledge-proofs

License:MIT License

Languages

Language:Haskell 100.0%