Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 18, 2020

• Remove the axiom in Curves/Edwards/AffineProofs

  JasonGross

  committed
  8b334e6

  Copy full SHA for 8b334e6

Commits on Oct 2, 2018

• Adapt to Coq's PR#8555

  

  maximedenes

  authored and

  JasonGross

  committed
  ca7dc4f

  Copy full SHA for ca7dc4f

Commits on Jul 7, 2017

• Curves/Edwards/Affine: prove point compression admits

  andres-erbsen

  committed
  3c713df

  Copy full SHA for 3c713df

Commits on Jun 14, 2017

• ScalarMult: Z -> G -> G (closes #193)

  andres-erbsen

  committed
  53d6e0a

  Copy full SHA for 53d6e0a

Commits on Jun 5, 2017

• Don't rely on autogenerated names

  Show description for 7488682
  JasonGross

  committed
  7488682

  Copy full SHA for 7488682

Commits on Apr 29, 2017

• Prove relationship between `xzladderstep` and M.add (#162)

  Show description for 08be7fa
  andres-erbsen

  authored
  08be7fa

  Copy full SHA for 08be7fa

Commits on Apr 7, 2017

• rename-everything

  andres-erbsen

  committed
  c9fc5a3

  Copy full SHA for c9fc5a3

Loading