| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Prove conversion is a generic equality. | Chloe Brown | 2 years | |
| nameless | Bundle well-formed reductions. | Chloe Brown | 2 years | |
| Age | Commit message | Author | ||
| 2023-04-23 | Bundle well-formed reductions.nameless | Chloe Brown | ||
| 2023-04-23 | Construct shape views reflexively. | Chloe Brown | ||
| 2023-04-23 | Define shape views. | Chloe Brown | ||
| 2023-04-23 | Prove escape theorems. | Chloe Brown | ||
| 2023-04-23 | Remove unnecessary dependence on equality. | Chloe Brown | ||
| 2023-04-23 | Rename for clarity. | Chloe Brown | ||
| 2023-04-23 | Prove reducibility is reflexive. | Chloe Brown | ||
| 2023-04-23 | Use custom relation for even more control. | Chloe Brown | ||
| 2023-04-22 | Package a visible induction statement. | Chloe Brown | ||
| 2023-04-22 | Define logical relation. | Chloe Brown | ||
| [...] | ||||
 |
index : yellowsquid/correct-obs.git | |
| [no description] | Chloe Brown |
| summaryrefslogtreecommitdiff |