Skip to content

Releases: homalg-project/CAP_project

LinearClosuresForCAP 2025.08-03

15 Aug 23:42
@github-actions github-actions
LinearClosuresForCAP-2025.08-03
f1b4135
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.08-03 Latest
Latest

Release for LinearClosuresForCAP

Assets 5
Loading

LinearClosuresForCAP 2025.08-02

08 Aug 20:37
@github-actions github-actions
LinearClosuresForCAP-2025.08-02
c8636fa
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.08-02

Release for LinearClosuresForCAP

Loading

LinearClosuresForCAP 2025.08-01

08 Aug 13:18
@github-actions github-actions
LinearClosuresForCAP-2025.08-01
b388d0a
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.08-01

Release for LinearClosuresForCAP

Loading

CAP 2025.08-02

08 Aug 20:34
@github-actions github-actions
CAP-2025.08-02
c8636fa
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-02

Release for CAP

Loading

AdditiveClosuresForCAP 2025.08-01

08 Aug 20:35
@github-actions github-actions
AdditiveClosuresForCAP-2025.08-01
c8636fa
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
AdditiveClosuresForCAP 2025.08-01

Release for AdditiveClosuresForCAP

Loading

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

Release for CAP

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