jasmin-lang

Pinned Repositories

coqword
Yet Another Coq Library on Machine Words.
Language:Coq9 8 87
jasmin
Language for high-assurance and high-speed cryptography
Language:Coq250 11 27453

jasmin-lang's Repositories

jasmin-lang/jasmin
Language for high-assurance and high-speed cryptography
Language:Coq250 11 27453
jasmin-lang/coqword
Yet Another Coq Library on Machine Words.
Language:Coq9 8 87