diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-04-04 13:12:27 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-04-04 13:12:48 -0400 |
| commit | 7071632d516e361d6ad7dc10f5bbb7f39d4c4217 (patch) | |
| tree | 7069a3be93ab848c531ff7e6c2c973f8d62cc304 /src/Util/Sigma.v | |
| parent | f2db435d1cf9fff059fdd11844748b355feee2a9 (diff) | |
Add Proof using Type to WCT for faster "coqc" -quick -q -R "src" Crypto -R "Bedrock" Bedrock -w "-deprecated-appcontext -notation-overridden" src/MontgomeryCurveTheorems.v
Makefile.coq:621: recipe for target 'src/MontgomeryCurveTheorems.vio' failed
Diffstat (limited to 'src/Util/Sigma.v')
0 files changed, 0 insertions, 0 deletions