GitHub - DutchCATS/dutchcats.github.io: Website of the Dutch Categories And Types Seminar · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 165 Commits
2021-10-27		2021-10-27
2022-11-24		2022-11-24
2023-01-16		2023-01-16
2023-11-03		2023-11-03
2024-02-02		2024-02-02
2024-05-06		2024-05-06
2024-25-03		2024-25-03
AWFS_workshop		AWFS_workshop
PSSL-2024		PSSL-2024
Weak_type_theories		Weak_type_theories
.gitignore		.gitignore
index.html		index.html
slides_ford.pdf		slides_ford.pdf
slides_forre.pdf		slides_forre.pdf

About

Website of the Dutch Categories And Types Seminar

Custom properties

0 stars

4 watching

Report repository

Releases

Packages

Contributors

Languages