Loreon
Labs
Platform
Docs
Home
Ecosystems
OCaml
easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
OCaml
Emerging
GitHub
Stars
—
Forks
—
Contributors
8
Last push
5mo ago
Recent commits
Latest commits.
add a formosa dockerfile
322e303
François Dupressoir
7mo ago
fix dockerfiles
ff51157
François Dupressoir
7mo ago
Build: unify release/dev warnings flags
f8fab1d
Pierre-Yves Strub
5mo ago
Fix dependency analysis
641f178
Pierre-Yves Strub
5mo ago
When doing section-analysis, recurse in types body
8e0c142
Pierre-Yves Strub
5mo ago
When doing section-analysis, recurse in operators body
2a9d76e
Pierre-Yves Strub
5mo ago
Improve error message in to-assumption rewrite
58162ce
Pierre-Yves Strub
5mo ago
In matching, do not unify a memory with itself
fd33b75
Pierre-Yves Strub
5mo ago
Top contributors
Builders behind this project.
strub
2.7K commits
bgregoir
993 commits
fdupress
839 commits
cesar-kunz
128 commits
jmcrespo
118 commits
martinceresa
82 commits
beschmi
62 commits
s-zanella
59 commits
