Skip to content
GitLab
  • Explore
  • Sign in
  • Benoit Viguier
  • coq-verif-tweetnaclcoq-verif-tweetnacl
  • Repository
  • tweetnacl
  • Carry.v
Find file Blame History Permalink
  • Benoit Viguier's avatar
    Change notation and proof of multiplication in GF · 265b01b0
    Benoit Viguier authored Oct 28, 2016
    ToFF changed to  ZofList or Z.lst or Z16.lst depending on the context
    :P (as for the finite field) changed to :GF
    265b01b0