| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Support destructuring dlet and slet |  Jason Gross | 2017-05-13 |
| * | More fine-grained tactic imports | Jason Gross | 2017-04-03 |
| * | Add dlet_nd notation | Jason Gross | 2017-03-01 |
| * | Add more specific form of Proper_Let_In_nd_changebody | Jason Gross | 2016-10-22 |
| * | Work around bug 5107 (broken return inference) | Jason Gross | 2016-10-03 |
| * | Fix a typo | Jason Gross | 2016-09-22 |
| * | Add a form of Let_In that carries a proof | Jason Gross | 2016-09-22 |
| * | alternative signing derivation |  Andres Erbsen | 2016-09-22 |
| * | Util.LetIn: fix proper instance | Andres Erbsen | 2016-09-22 |
| * | Change [Let ... in ...] to [dlet ... in ...] (#67) |  Jason Gross | 2016-09-19 |
| * | Add reserved notation for Let, change # | Jason Gross | 2016-09-17 |
| * | deduplicate Let_In into src/Util/LetIn.v | Andres Erbsen | 2016-09-17 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |