Open JoaoDiogoDuarte opened 4 months ago
Easycrypt is a formal verification tool used in cryptography that takes inspiration from languages like Coq and OCaml.
Since I use this language frequently, I added easycrypt snippets. They do not cover everything, but I believe they cover decent ground.
Easycrypt is a formal verification tool used in cryptography that takes inspiration from languages like Coq and OCaml.
Since I use this language frequently, I added easycrypt snippets. They do not cover everything, but I believe they cover decent ground.