aboutsummaryrefslogtreecommitdiff
path: root/y_and_j.v
AgeCommit message (Expand)Author
2021-09-30Updated to match UniMath namesHEADmaintslil
2021-09-30Added descriptiontslil
2019-07-17Inittslil clingman
generated by cgit v1.2.3 (git 2.46.0) at 2026-08-30 13:07:24 +0000