Michelson – Language for formally verified smart contractsmichelson.org1 point·HugoDaniel··0 commentsOpen articleSaveView on HN