Age | Commit message (Collapse) | Author | |
---|---|---|---|
2024-11-12 | Add more names. Names are good. | Greg Brown | |
2024-10-28 | Make everything relevant. | Greg Brown | |
Too few proofs were relevant. Now they are. |
![]() |
index : yellowsquid/inky.git | |
[no description] | Chloe Brown |
summaryrefslogtreecommitdiff |
Age | Commit message (Collapse) | Author | |
---|---|---|---|
2024-11-12 | Add more names. Names are good. | Greg Brown | |
2024-10-28 | Make everything relevant. | Greg Brown | |
Too few proofs were relevant. Now they are. |