GitHub - stacks/stacks.github.io

Name		Name	Last commit message	Last commit date
Latest commit History 118 Commits
_includes		_includes
_layouts		_layouts
assets		assets
css		css
.gitignore		.gitignore
2017-index.html		2017-index.html
2017-practical.html		2017-practical.html
2017-schedule.html		2017-schedule.html
2017-topics.html		2017-topics.html
2020-index.html		2020-index.html
2020-schedule.html		2020-schedule.html
2023-git.pdf		2023-git.pdf
2023-index.html		2023-index.html
2023-practical.html		2023-practical.html
2023-schedule.html		2023-schedule.html
2023-start.pdf		2023-start.pdf
_config.yml		_config.yml
compositio.png		compositio.png
deligne-illusie.pdf		deligne-illusie.pdf
favicon.ico		favicon.ico
framework.pdf		framework.pdf
git.pdf		git.pdf
nsf.gif		nsf.gif
schedule-2017.pdf		schedule-2017.pdf
schedule.tex		schedule.tex
slides.pdf		slides.pdf
spec.html		spec.html
stacks.png		stacks.png