GitHub - cpitclaudel/alectryon-sle2020-talk: Slides for the SLE2020 talk on alectryon; also a decent demo of integrating Alectryon with slides instead of regular webpages

cpitclaudel / alectryon-sle2020-talk Public

Slides for the SLE2020 talk on alectryon; also a decent demo of integrating Alectryon with slides instead of regular webpages

Name		Name	Last commit message	Last commit date
Latest commit History 8 Commits
coq		coq
coqpl22		coqpl22
docs		docs
template		template
.gitignore		.gitignore
Makefile		Makefile
abstract.txt		abstract.txt
alectryon.css		alectryon.css
alectryon.js		alectryon.js
alectryon.srt		alectryon.srt
announcement.md		announcement.md
breakdowns.paths.svg		breakdowns.paths.svg
breakdowns.pdf		breakdowns.pdf
breakdowns.svg		breakdowns.svg
citations.paths.svg		citations.paths.svg
citations.svg		citations.svg
citations.txt		citations.txt
coq.png		coq.png
coqide.png		coqide.png
coqpl-2022-abstract.txt		coqpl-2022-abstract.txt
coqpl22.rst		coqpl22.rst
cudw-2020.rst		cudw-2020.rst
docutils_basic.css		docutils_basic.css
driver.py		driver.py
emacs-screenshot.svg		emacs-screenshot.svg
irif-2021.rst		irif-2021.rst
life.svg		life.svg
magic.svg		magic.svg
overlay.png		overlay.png
overlay.sh		overlay.sh
polymorphic-universes-8-12.svg		polymorphic-universes-8-12.svg
provers.svg		provers.svg
pygments.css		pygments.css
rss.paths.svg		rss.paths.svg
rss.svg		rss.svg
sphinx.png		sphinx.png
splash21.rst		splash21.rst
stdlib.paths.svg		stdlib.paths.svg
stdlib.pdf		stdlib.pdf
stdlib.svg		stdlib.svg
talk.css		talk.css
talk.js		talk.js
talk.rst		talk.rst
tango_subtle.css		tango_subtle.css
tango_subtle.min.css		tango_subtle.min.css
transcript.rst		transcript.rst
udiv.opt.paths.svg		udiv.opt.paths.svg
udiv.opt.svg		udiv.opt.svg
udiv.paths.svg		udiv.paths.svg
upload.sh		upload.sh

Provide feedback