Permalink

Type	Name	Latest commit message	Commit time
	Failed to load latest commit information.
	Agda	equivalences are contractible maps	Nov 2, 2019
	Book	disjointness of coproducts	Nov 4, 2019
	Coq	formalized the euclidean algorithm	Nov 4, 2019
	pdfs	preparing summer school version	Jul 26, 2019
	.gitignore	add gitignore	Sep 23, 2018
	License.md	Create License.md	Jun 21, 2019
	README.md	Update README.md	Nov 1, 2019
	_config.yml	Set theme jekyll-theme-dinky	Sep 24, 2018