| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| less-fin | Prove renaming is fully congruent. | Chloe Brown | 3 years | |
| Age | Commit message | Author | ||
| 2022-07-13 | Prove renaming is fully congruent.less-fin | Chloe Brown | ||
| 2022-07-13 | Prove renaming is left congruent. | Chloe Brown | ||
| 2022-07-13 | Prove alpha equivalence is an equivalence. | Chloe Brown | ||
| 2022-07-07 | Prove alpha equivalence is transitive. | Chloe Brown | ||
| 2022-07-07 | Prove alpha equivalence is symmetric. | Chloe Brown | ||
| 2022-07-07 | Prove alpha equivalence is reflexive. | Chloe Brown | ||
| 2022-07-07 | Prove alpha equivalence preserves free variables. | Chloe Brown | ||
| 2022-07-06 | Simplify alpha equivalence. | Chloe Brown | ||
| 2022-07-05 | Define type. | Chloe Brown | ||
| 2022-07-05 | Define binary operations. | Chloe Brown | ||
| [...] | ||||
 |
index : yellowsquid/bidir.git | |
| [no description] | Chloe Brown |
| summaryrefslogtreecommitdiff |