search

homalg-project / FinSetsForCAP

The elementary topos of (skeletal) finite sets
https://homalg-project.github.io/FinSetsForCAP/
GNU General Public License v2.0
4 stars 7 forks source link

comply with CartesianCategories v2024.01-05 #234

Closed mohamed-barakat closed 10 months ago

mohamed-barakat commented 10 months ago
mohamed-barakat commented 10 months ago

Please merge with failing CI.