Skip to content
GitLab
Explore
Sign in
Benoit Viguier
coq-verif-tweetnacl
Repository
tweetnacl
paper
rfc.tex
Find file
Blame
History
Permalink
proposition for encoding instead of byte (as it was confusing, fix grammar
· 77c23112
benoit
authored
Jan 20, 2021
77c23112