Skip to content

Thesis release

Latest
Latest

Choose a tag to compare

View all tags
@alexarice alexarice released this 12 Apr 10:37
· 1 commit to master since this release
thesis
This tag was signed with the committer’s verified signature.
alexarice Alex Rice
GPG key ID: 93DDCD7A2B3F3B88
Verified
Learn about vigilant mode.
10b10f6
This commit was signed with the committer’s verified signature.
alexarice Alex Rice
GPG key ID: 93DDCD7A2B3F3B88
Verified
Learn about vigilant mode.

Release of the code base compatible with the thesis "A type-theoretic approach to semistrict higher categories"

Assets 2
Loading