y_and_j/y_and_j.v, branch main [no description] https://git.l-3.space/y_and_j/atom?h=main 2021-10-01T02:01:15Z Updated to match UniMath names 2021-10-01T02:01:15Z tslil 2021-10-01T02:01:15Z urn:sha1:87d0e4e1c618ce154b60e1713ea7d007ac5bcba3 Added description 2021-09-30T23:38:15Z tslil 2021-09-30T23:31:49Z urn:sha1:2e35b0033b994c6360ceb48161b6da3674934a73 Init 2019-07-17T14:57:08Z tslil clingman 2019-07-17T14:57:08Z urn:sha1:e7eb186315d82277028e28d8870c6ba0bc772928