| Age | Commit message (Collapse) | 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 |