Hacker News new | ask | show | jobs
by obulpathi 2636 days ago
Not sure why your comment is being down voted. Decentralized Governance and formal verification of smart contracts of Tezos are really good!