Name		Name	Last commit message	Last commit date
Latest commit History 138 Commits
app/GenesisGenerator		app/GenesisGenerator
doc		doc
spec/api		spec/api
src/Network		src/Network
test/src		test/src
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
bitfunctor.cabal		bitfunctor.cabal
stack.yaml		stack.yaml

Repository files navigation

bitfunctor

About

Decentralized blockchain-based storage of the automatically-verifiably correct (certified) code as well as generalized blockchain platform

agda blockchain-platform certified-programming coq

Custom properties

3 stars

3 watching

Report repository

Releases

Packages

Contributors

Languages