Commit message (Expand) | Author | Age | |
---|---|---|---|
* | remove old pipeline | Andres Erbsen | 2019-01-09 |
* | Don't rely on autogenerated names | Jason Gross | 2017-06-05 |
* | Add more context proper lemmas | Jason Gross | 2017-05-16 |
* | Add context_equiv and prove some Proper lemmas | Jason Gross | 2017-05-16 |