Skip to content
GitLab
  • Explore
  • Sign in
  • Benoit Viguier
  • coq-verif-tweetnaclcoq-verif-tweetnacl
  • Repository
  • tweetnacl
  • High
  • Zmodp.v
Find file Blame History Permalink
  • Benoit Viguier's avatar
    Zp^2 is defined with polynom X^2 - 2 · 76ae7789
    Benoit Viguier authored Apr 18, 2019
    76ae7789