Smart Contract Interactions in Coq (2019) [pdf]arxiv.org2 points·fossislife··0 commentsOpen articleSaveView on HN