Branch | Commit message | Author | Age | |
---|---|---|---|---|
master | idk | tzlil | 6 months | |
Age | Commit message | Author | Files | Lines |
2024-03-16 | idk HEAD master | tzlil | 1 | -6/+5 |
2024-03-15 | improve hylo and ana morphisms | tzlil | 1 | -47/+36 |
2024-03-15 | cool stuff | tzlil | 6 | -0/+152 |
Clone | ||||
http://git.tzlil.net/recursion-schemes-lean4.git |