diff options
| author |  Jade Philipoom <jadep@mit.edu> | 2016-02-16 13:29:14 -0500 |
|---|---|---|
| committer | Jade Philipoom <jadep@mit.edu> | 2016-02-16 13:29:14 -0500 |
| commit | 6aa54898ddf0b9569be9a0110ba58117f0ea6888 (patch) | |
| tree | 40be50ccd8c4dca2cd18e8fcef37b705e608d1d6 /_CoqProject | |
| parent | f14b26f8ab162aaef56b897450429b3134d6a3f5 (diff) | |
cleaned up and ported definition to solve for x ^ 2 in the curve equation
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions