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