diff options
author | Jason Gross <jgross@mit.edu> | 2017-04-25 12:10:19 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-04-25 12:10:19 -0400 |
commit | d690e52702ef8e12e1ca908c2a0e4d80e1edd11a (patch) | |
tree | 9f116db1e49aaef853e9c5a207a7c690ac50ac8a /src/Util/Tactics | |
parent | cb4f549f83d46a84c119b4c412b4c6aae64f153e (diff) |
Add reference to discussions
Discussions at https://github.com/mit-plv/fiat-crypto/issues/164 and https://github.com/mit-plv/fiat-crypto/pull/163
Diffstat (limited to 'src/Util/Tactics')
0 files changed, 0 insertions, 0 deletions