Skip to content
GitLab
Explore
Sign in
Benoit Viguier
coq-verif-tweetnacl
Repository
tweetnacl
Gen
UPIC_Prop.v
Find file
Blame
History
Permalink
Proof between List Z and Z is done but requires infinite amount of time to Typecheck
· bbc17985
Benoit Viguier
authored
Jun 12, 2018
bbc17985
Benoit Viguier authoredbbc17985