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 | |
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')
0 files changed, 0 insertions, 0 deletions