Skip to content
/ covenant Public

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

License

MIT license
2 stars 1 fork Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

kelecorix/covenant

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

6 Commits
covenant
covenant
 
 
docs
docs
 
 
.gitignore
.gitignore
 
 
LICENSE
LICENSE
 
 
README.md
README.md
 
 

Repository files navigation

Covenant

About

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

Topics

programming-language smart-contracts formal-verification zero-knowledge-proofs

Resources

Readme

License

MIT license
Activity
Custom properties

Stars

2 stars

Watchers

3 watching

Forks

1 fork
Report repository

Releases

No releases published

Packages

No packages published

Languages