Skip to content

Releases: alexarice/catt-strict

Thesis release

12 Apr 14:48
@alexarice alexarice
thesis
This tag was signed with the committer’s verified signature.
alexarice Alex Rice
GPG key ID: 93DDCD7A2B3F3B88
Verified
Learn about vigilant mode.
d8bba70
This commit was signed with the committer’s verified signature.
alexarice Alex Rice
GPG key ID: 93DDCD7A2B3F3B88
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Thesis release Latest
Latest

Release accompanying the thesis "A type-theoretic approach to semistrict higher categories"

Assets 2
Loading