Identi.ca
Login
Shakthi Kannan
at
2021-05-28T05:01:58Z
Squirrel Prover is an interactive prover for the formal verification of #security #protocols
https://github.com/squirrel-prover/squirrel-prover
#OCaml