| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Generalize wf_interp_Proper |  Jason Gross | 2018-08-06 |
| * | Add wf for DefaultValue |  Jason Gross | 2018-08-03 |
| * | Make wf_safe_t a bit stronger | Jason Gross | 2018-08-02 |
| * | Generalize type.eqv a bit | Jason Gross | 2018-07-30 |
| * | Integrate Wf and Interp proofs | Jason Gross | 2018-07-30 |
| * | More proofs about wf / interp | Jason Gross | 2018-07-27 |
| * | Add wf about reify/reflect list | Jason Gross | 2018-07-27 |
| * | Move rewrites to the correct tactic | Jason Gross | 2018-07-26 |
| * | Shuffle transport lemmas around, add more inversion | Jason Gross | 2018-07-26 |
| * | Improve wf tactics | Jason Gross | 2018-07-26 |
| * | Minor improvements to wf framework | Jason Gross | 2018-07-26 |
| * | Move some tactics to their proper place | Jason Gross | 2018-07-26 |
| * | Add Wf lemmas about SubstVar | Jason Gross | 2018-07-26 |
| * | Add basic wf proofs | Jason Gross | 2018-07-26 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |