精益>> EdwardsEllipticCurve>> 返回
项目作者： thery

项目描述 ：
Group Law for Elliptic Curves according to Tom Hales
高级语言： Coq
项目地址: git://github.com/thery/EdwardsEllipticCurve.git
创建时间： 2017-07-25T11:19:41Z
项目社区：https://github.com/thery/EdwardsEllipticCurve
开源协议：
下载


EdwardsEllipticCurve

Docker CI

Following The Group Law for Edwards Curves Thomas C. Hales

Meta

Building and installation instructions

To build and install manually, do:

  1. git clone https://github.com/thery/EdwardsEllipticCurve.git
  2. cd EdwardsEllipticCurve
  3. make   # or make -j <number-of-cores-on-your-machine> 
  4. make install