Skip to content

Releases: homalg-project/CAP_project

MonoidalCategories 2025.07-07

31 Jul 20:55
@github-actions github-actions
MonoidalCategories-2025.07-07
e8d2445
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
MonoidalCategories 2025.07-07

Release for MonoidalCategories

Loading

CartesianCategories 2025.07-07

31 Jul 20:53
@github-actions github-actions
CartesianCategories-2025.07-07
e8d2445
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
CartesianCategories 2025.07-07

Release for CartesianCategories

Loading

CAP 2025.08-01

31 Jul 23:57
@github-actions github-actions
CAP-2025.08-01
40b2bbe
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
CAP 2025.08-01 Latest
Latest

Release for CAP

Assets 5
Loading

LinearClosuresForCAP 2025.07-03

30 Jul 11:57
@github-actions github-actions
LinearClosuresForCAP-2025.07-03
75d7384
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
LinearClosuresForCAP 2025.07-03

Release for LinearClosuresForCAP

Loading

GroupRepresentationsForCAP 2025.07-02

30 Jul 09:47
@github-actions github-actions
GroupRepresentationsForCAP-2025.07-02
ff71d02
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
GroupRepresentationsForCAP 2025.07-02

Release for GroupRepresentationsForCAP

Loading

CAP 2025.07-09

30 Jul 15:48
@github-actions github-actions
CAP-2025.07-09
2b597ff
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
CAP 2025.07-09

Release for CAP

Loading

CAP 2025.07-08

19 Jul 14:37
@github-actions github-actions
CAP-2025.07-08
3c8696c
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
CAP 2025.07-08

Release for CAP

Loading

CAP 2025.07-07

18 Jul 20:13
@github-actions github-actions
CAP-2025.07-07
a0b6de8
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
CAP 2025.07-07

Release for CAP

Loading

CAP 2025.07-06

16 Jul 12:22
@github-actions github-actions
CAP-2025.07-06
c51a7e5
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
CAP 2025.07-06

Release for CAP

Loading

LinearClosuresForCAP 2025.07-02

15 Jul 17:56
@github-actions github-actions
LinearClosuresForCAP-2025.07-02
ca95fd6
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
LinearClosuresForCAP 2025.07-02

Release for LinearClosuresForCAP

Loading