Geeks
raaz-crypto
/
verse-coq
VERified asSembler for cryptographic primitives
Primary Language
Coq
Apache License 2.0
Apache-2.0
verse-coq GitHub
Markdown
Readme
36
Issues
12
Stargazers
5
Watchers
Stargazers
anton-trunov
TON Foundation
b0r3dd3v
step by F1
clayrat
IMDEA Software
dangabhi
hadasz
iilyak
mukeshtiwari
Swansea
piyush-kurur
Indian Institute of Technology Palakkad
relrod
@Ansible @ Red Hat, Inc.
smorimoto
@ocaml @tc39
sooryan
Singapore
tkersey
@thisisartium