Hacker GitHub

← All repos

EasyCrypt/easycrypt

View on GitHub ↗ ★ 427 OCaml

EasyCrypt: Computer-Aided Cryptographic Proofs

3 mentions on Hacker News by 3 people: 2 stories, 1 comment · first 2021-10-26 · latest 2023-03-10

Mentions per year 3 mentions · busiest year 2023 (2)
20082026
AllStoriesComments NewestTopOldest
  1. …PS but they really could add some more comments to the examples. Or a docs folder. But there is https://github.com/EasyCrypt/easycrypt/tree/main/examples/pr... , maybe that can help you. (I'm personally also a bit baffled; I know &…
    comment by archi42 · 2023-03-10 · in EasyCrypt: Computer-Aided Cryptographic Proofs