Skip to content

Releases: PHart3/colimits-agda

0.2.0

04 Dec 18:56
@PHart3 PHart3
v0.2.0
60a834c
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
0.2.0 Latest
Latest

This release adds the proof of 2-coherence for the Suspension-Loop adjunction.

Assets 2
Loading

0.1.0

25 Nov 01:04
@PHart3 PHart3
v0.1.0
447a5c2
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
0.1.0

This release corresponds to our official CSL 2025 paper, "Coslice Colimits in Homotopy Type Theory."

Assets 2
Loading