- Implementing a vault in Bamboo https://medium.com/@pirapira/implementing-a-vault-in-bamboo-9c08241b6755 14 comments ethereum
Linking pages
- GitHub - pirapira/bamboo: Bamboo see https://github.com/cornellblockchain/bamboo https://github.com/pirapira/jaculus 19 comments
- GitHub - CornellBlockchain/bamboo: Bamboo: a morphing smart contract language https://github.com/CornellBlockchain/bamboo 7 comments
- GitHub - pirapira/bamboo: Bamboo see https://github.com/cornellblockchain/bamboo https://github.com/pirapira/bamboo 0 comments
Linked pages
- F*: A Proof-Oriented Programming Language http://fstar-lang.org 293 comments
- Welcome! | The Coq Proof Assistant https://coq.inria.fr/ 125 comments
- Why3 http://why3.lri.fr/ 6 comments
- GitHub - pirapira/eth-isabelle: A Lem formalization of EVM and some Isabelle/HOL proofs https://github.com/pirapira/eth-isabelle 4 comments
- GitHub - pirapira/bamboo: Bamboo see https://github.com/cornellblockchain/bamboo https://github.com/pirapira/bamboo 0 comments
- Isabelle https://isabelle.in.tum.de/ 0 comments
Related searches:
Search whole site: site:medium.com
Search title: Implementing a vault in Bamboo. I saw vault.sol. It’s about protecting… | by Yoichi Hirai | Medium
See how to search.