GitHub - VojtechStep/homotopy-pushouts: My master's thesis on formalization of homotopy pushouts · GitHub

Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
attachments		attachments
tex		tex
.dockerignore		.dockerignore
.envrc		.envrc
.gitignore		.gitignore
Makefile		Makefile
Thesis.org		Thesis.org
bibliography.bib		bibliography.bib
flake.lock		flake.lock
flake.nix		flake.nix

About

My master's thesis on formalization of homotopy pushouts

2 stars

0 watching

Report repository

Releases

Packages

Used by

Contributors

Languages