Commit Graph

Select branches

Hide Pull Requests

factory

master

Mono Color

• 8c604921ae gap-monoidalcategories 2025.01.02 master Jan Engelhardt 2025-02-14 12:32:18 +01:00
• bab58fe7d7 Accepting request 1161017 from science factory Ana Guerrero 2024-03-25 20:09:37 +00:00
• b82fca497a - Update to release 2024.02.04 Jan Engelhardt 2024-03-23 22:00:19 +00:00
• a1d9420aee Accepting request 1134846 from science Ana Guerrero 2023-12-28 21:58:47 +00:00
• 3814be0b8c Accepting request 1073285 from home:jengelh:branches:science Dmitry Roshchin 2023-03-20 19:40:59 +00:00