├── .gitattributes ├── LINKS.org ├── code ├── lecture01.v ├── lecture02.v ├── lecture03.v ├── lecture04.v ├── lecture05.v ├── lecture06.v ├── lecture07.v ├── lecture08.v ├── lecture09.v ├── lecture10.v ├── lecture11.v ├── lecture12.v ├── lecture14.v ├── sumarray.c └── sumarray.v ├── homework ├── hw01.v ├── hw02.v ├── hw03.v ├── hw04.v ├── hw05.v ├── hw06.v ├── hw07.v ├── hw08.v └── hw09.v ├── seminars ├── seminar02.v ├── seminar03.v ├── seminar04.v ├── seminar05.v ├── seminar06.v ├── seminar07.v ├── seminar08.v ├── seminar09.v └── seminar10.v └── slides ├── images ├── deepspec.png ├── fscq-bug.png ├── homeo.jpg ├── scilla-coq.jpg └── xmonad.png ├── lecture01.html ├── lecture01.org ├── lecture06.html ├── lecture06.org ├── lecture13.html ├── lecture13.org ├── modifications.css └── reveal.js ├── .gitignore ├── .travis.yml ├── CONTRIBUTING.md ├── Gruntfile.js ├── LICENSE ├── README.md ├── bower.json ├── css ├── print │ ├── paper.css │ └── pdf.css ├── reveal.css ├── reveal.scss └── theme │ ├── README.md │ ├── beige.css │ ├── black.css │ ├── blood.css │ ├── league.css │ ├── moon.css │ ├── night.css │ ├── serif.css │ ├── simple.css │ ├── sky.css │ ├── solarized.css │ ├── source │ ├── beige.scss │ ├── black.scss │ ├── blood.scss │ ├── league.scss │ ├── moon.scss │ ├── night.scss │ ├── serif.scss │ ├── simple.scss │ ├── sky.scss │ ├── solarized.scss │ └── white.scss │ ├── template │ ├── mixins.scss │ ├── settings.scss │ └── theme.scss │ └── white.css ├── demo.html ├── index.html ├── js └── reveal.js ├── lib ├── css │ └── zenburn.css ├── font │ ├── league-gothic │ │ ├── LICENSE │ │ ├── league-gothic.css │ │ ├── league-gothic.eot │ │ ├── league-gothic.ttf │ │ └── league-gothic.woff │ └── source-sans-pro │ │ ├── LICENSE │ │ ├── source-sans-pro-italic.eot │ │ ├── source-sans-pro-italic.ttf │ │ ├── source-sans-pro-italic.woff │ │ ├── source-sans-pro-regular.eot │ │ ├── source-sans-pro-regular.ttf │ │ ├── source-sans-pro-regular.woff │ │ ├── source-sans-pro-semibold.eot │ │ ├── source-sans-pro-semibold.ttf │ │ ├── source-sans-pro-semibold.woff │ │ ├── source-sans-pro-semibolditalic.eot │ │ ├── source-sans-pro-semibolditalic.ttf │ │ ├── source-sans-pro-semibolditalic.woff │ │ └── source-sans-pro.css └── js │ ├── classList.js │ ├── head.min.js │ └── html5shiv.js ├── package.json ├── plugin ├── highlight │ └── highlight.js ├── markdown │ ├── example.html │ ├── example.md │ ├── markdown.js │ └── marked.js ├── math │ └── math.js ├── multiplex │ ├── client.js │ ├── index.js │ ├── master.js │ └── package.json ├── notes-server │ ├── client.js │ ├── index.js │ └── notes.html ├── notes │ ├── notes.html │ └── notes.js ├── print-pdf │ └── print-pdf.js ├── search │ └── search.js └── zoom-js │ └── zoom.js └── test ├── examples ├── assets │ ├── image1.png │ └── image2.png ├── barebones.html ├── embedded-media.html ├── math.html ├── slide-backgrounds.html └── slide-transitions.html ├── qunit-2.5.0.css ├── qunit-2.5.0.js ├── simple.md ├── test-markdown-element-attributes.html ├── test-markdown-element-attributes.js ├── test-markdown-external.html ├── test-markdown-external.js ├── test-markdown-options.html ├── test-markdown-options.js ├── test-markdown-slide-attributes.html ├── test-markdown-slide-attributes.js ├── test-markdown.html ├── test-markdown.js ├── test-pdf.html ├── test-pdf.js ├── test.html └── test.js /.gitattributes: -------------------------------------------------------------------------------- 1 | slides/reveal.js/* linguist-vendored 2 | -------------------------------------------------------------------------------- /LINKS.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/LINKS.org -------------------------------------------------------------------------------- /code/lecture01.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/code/lecture01.v -------------------------------------------------------------------------------- /code/lecture02.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/code/lecture02.v -------------------------------------------------------------------------------- /code/lecture03.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/code/lecture03.v -------------------------------------------------------------------------------- /code/lecture04.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/code/lecture04.v -------------------------------------------------------------------------------- /code/lecture05.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/code/lecture05.v -------------------------------------------------------------------------------- /code/lecture06.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/code/lecture06.v -------------------------------------------------------------------------------- /code/lecture07.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/code/lecture07.v -------------------------------------------------------------------------------- /code/lecture08.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/code/lecture08.v -------------------------------------------------------------------------------- /code/lecture09.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/code/lecture09.v -------------------------------------------------------------------------------- /code/lecture10.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/code/lecture10.v -------------------------------------------------------------------------------- /code/lecture11.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/code/lecture11.v -------------------------------------------------------------------------------- /code/lecture12.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/code/lecture12.v -------------------------------------------------------------------------------- /code/lecture14.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/code/lecture14.v -------------------------------------------------------------------------------- /code/sumarray.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/code/sumarray.c -------------------------------------------------------------------------------- /code/sumarray.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/code/sumarray.v -------------------------------------------------------------------------------- /homework/hw01.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/homework/hw01.v -------------------------------------------------------------------------------- /homework/hw02.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/homework/hw02.v -------------------------------------------------------------------------------- /homework/hw03.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/homework/hw03.v -------------------------------------------------------------------------------- /homework/hw04.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/homework/hw04.v -------------------------------------------------------------------------------- /homework/hw05.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/homework/hw05.v -------------------------------------------------------------------------------- /homework/hw06.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/homework/hw06.v -------------------------------------------------------------------------------- /homework/hw07.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/homework/hw07.v -------------------------------------------------------------------------------- /homework/hw08.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/homework/hw08.v -------------------------------------------------------------------------------- /homework/hw09.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/homework/hw09.v -------------------------------------------------------------------------------- /seminars/seminar02.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/seminars/seminar02.v -------------------------------------------------------------------------------- /seminars/seminar03.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/seminars/seminar03.v -------------------------------------------------------------------------------- /seminars/seminar04.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/seminars/seminar04.v -------------------------------------------------------------------------------- /seminars/seminar05.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/seminars/seminar05.v -------------------------------------------------------------------------------- /seminars/seminar06.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/seminars/seminar06.v -------------------------------------------------------------------------------- /seminars/seminar07.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/seminars/seminar07.v -------------------------------------------------------------------------------- /seminars/seminar08.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/seminars/seminar08.v -------------------------------------------------------------------------------- /seminars/seminar09.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/seminars/seminar09.v -------------------------------------------------------------------------------- /seminars/seminar10.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/seminars/seminar10.v -------------------------------------------------------------------------------- /slides/images/deepspec.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/images/deepspec.png -------------------------------------------------------------------------------- /slides/images/fscq-bug.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/images/fscq-bug.png -------------------------------------------------------------------------------- /slides/images/homeo.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/images/homeo.jpg -------------------------------------------------------------------------------- /slides/images/scilla-coq.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/images/scilla-coq.jpg -------------------------------------------------------------------------------- /slides/images/xmonad.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/images/xmonad.png -------------------------------------------------------------------------------- /slides/lecture01.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/lecture01.html -------------------------------------------------------------------------------- /slides/lecture01.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/lecture01.org -------------------------------------------------------------------------------- /slides/lecture06.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/lecture06.html -------------------------------------------------------------------------------- /slides/lecture06.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/lecture06.org -------------------------------------------------------------------------------- /slides/lecture13.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/lecture13.html -------------------------------------------------------------------------------- /slides/lecture13.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/lecture13.org -------------------------------------------------------------------------------- /slides/modifications.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/modifications.css -------------------------------------------------------------------------------- /slides/reveal.js/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/.gitignore -------------------------------------------------------------------------------- /slides/reveal.js/.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/.travis.yml -------------------------------------------------------------------------------- /slides/reveal.js/CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/CONTRIBUTING.md -------------------------------------------------------------------------------- /slides/reveal.js/Gruntfile.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/Gruntfile.js -------------------------------------------------------------------------------- /slides/reveal.js/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/LICENSE -------------------------------------------------------------------------------- /slides/reveal.js/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/README.md -------------------------------------------------------------------------------- /slides/reveal.js/bower.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/bower.json -------------------------------------------------------------------------------- /slides/reveal.js/css/print/paper.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/css/print/paper.css -------------------------------------------------------------------------------- /slides/reveal.js/css/print/pdf.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/css/print/pdf.css -------------------------------------------------------------------------------- /slides/reveal.js/css/reveal.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/css/reveal.css -------------------------------------------------------------------------------- /slides/reveal.js/css/reveal.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/css/reveal.scss -------------------------------------------------------------------------------- /slides/reveal.js/css/theme/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/css/theme/README.md -------------------------------------------------------------------------------- /slides/reveal.js/css/theme/beige.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/css/theme/beige.css -------------------------------------------------------------------------------- /slides/reveal.js/css/theme/black.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/css/theme/black.css -------------------------------------------------------------------------------- /slides/reveal.js/css/theme/blood.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/css/theme/blood.css -------------------------------------------------------------------------------- /slides/reveal.js/css/theme/league.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/css/theme/league.css -------------------------------------------------------------------------------- /slides/reveal.js/css/theme/moon.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/css/theme/moon.css -------------------------------------------------------------------------------- /slides/reveal.js/css/theme/night.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/css/theme/night.css -------------------------------------------------------------------------------- /slides/reveal.js/css/theme/serif.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/css/theme/serif.css -------------------------------------------------------------------------------- /slides/reveal.js/css/theme/simple.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/css/theme/simple.css -------------------------------------------------------------------------------- /slides/reveal.js/css/theme/sky.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/css/theme/sky.css -------------------------------------------------------------------------------- /slides/reveal.js/css/theme/solarized.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/css/theme/solarized.css -------------------------------------------------------------------------------- /slides/reveal.js/css/theme/source/beige.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/css/theme/source/beige.scss -------------------------------------------------------------------------------- /slides/reveal.js/css/theme/source/black.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/css/theme/source/black.scss -------------------------------------------------------------------------------- /slides/reveal.js/css/theme/source/blood.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/css/theme/source/blood.scss -------------------------------------------------------------------------------- /slides/reveal.js/css/theme/source/league.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/css/theme/source/league.scss -------------------------------------------------------------------------------- /slides/reveal.js/css/theme/source/moon.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/css/theme/source/moon.scss -------------------------------------------------------------------------------- /slides/reveal.js/css/theme/source/night.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/css/theme/source/night.scss -------------------------------------------------------------------------------- /slides/reveal.js/css/theme/source/serif.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/css/theme/source/serif.scss -------------------------------------------------------------------------------- /slides/reveal.js/css/theme/source/simple.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/css/theme/source/simple.scss -------------------------------------------------------------------------------- /slides/reveal.js/css/theme/source/sky.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/css/theme/source/sky.scss -------------------------------------------------------------------------------- /slides/reveal.js/css/theme/source/solarized.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/css/theme/source/solarized.scss -------------------------------------------------------------------------------- /slides/reveal.js/css/theme/source/white.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/css/theme/source/white.scss -------------------------------------------------------------------------------- /slides/reveal.js/css/theme/template/mixins.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/css/theme/template/mixins.scss -------------------------------------------------------------------------------- /slides/reveal.js/css/theme/template/settings.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/css/theme/template/settings.scss -------------------------------------------------------------------------------- /slides/reveal.js/css/theme/template/theme.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/css/theme/template/theme.scss -------------------------------------------------------------------------------- /slides/reveal.js/css/theme/white.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/css/theme/white.css -------------------------------------------------------------------------------- /slides/reveal.js/demo.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/demo.html -------------------------------------------------------------------------------- /slides/reveal.js/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/index.html -------------------------------------------------------------------------------- /slides/reveal.js/js/reveal.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/js/reveal.js -------------------------------------------------------------------------------- /slides/reveal.js/lib/css/zenburn.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/lib/css/zenburn.css -------------------------------------------------------------------------------- /slides/reveal.js/lib/font/league-gothic/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/lib/font/league-gothic/LICENSE -------------------------------------------------------------------------------- /slides/reveal.js/lib/font/league-gothic/league-gothic.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/lib/font/league-gothic/league-gothic.css -------------------------------------------------------------------------------- /slides/reveal.js/lib/font/league-gothic/league-gothic.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/lib/font/league-gothic/league-gothic.eot -------------------------------------------------------------------------------- /slides/reveal.js/lib/font/league-gothic/league-gothic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/lib/font/league-gothic/league-gothic.ttf -------------------------------------------------------------------------------- /slides/reveal.js/lib/font/league-gothic/league-gothic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/lib/font/league-gothic/league-gothic.woff -------------------------------------------------------------------------------- /slides/reveal.js/lib/font/source-sans-pro/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/lib/font/source-sans-pro/LICENSE -------------------------------------------------------------------------------- /slides/reveal.js/lib/font/source-sans-pro/source-sans-pro-italic.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/lib/font/source-sans-pro/source-sans-pro-italic.eot -------------------------------------------------------------------------------- /slides/reveal.js/lib/font/source-sans-pro/source-sans-pro-italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/lib/font/source-sans-pro/source-sans-pro-italic.ttf -------------------------------------------------------------------------------- /slides/reveal.js/lib/font/source-sans-pro/source-sans-pro-italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/lib/font/source-sans-pro/source-sans-pro-italic.woff -------------------------------------------------------------------------------- /slides/reveal.js/lib/font/source-sans-pro/source-sans-pro-regular.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/lib/font/source-sans-pro/source-sans-pro-regular.eot -------------------------------------------------------------------------------- /slides/reveal.js/lib/font/source-sans-pro/source-sans-pro-regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/lib/font/source-sans-pro/source-sans-pro-regular.ttf -------------------------------------------------------------------------------- /slides/reveal.js/lib/font/source-sans-pro/source-sans-pro-regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/lib/font/source-sans-pro/source-sans-pro-regular.woff -------------------------------------------------------------------------------- /slides/reveal.js/lib/font/source-sans-pro/source-sans-pro-semibold.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/lib/font/source-sans-pro/source-sans-pro-semibold.eot -------------------------------------------------------------------------------- /slides/reveal.js/lib/font/source-sans-pro/source-sans-pro-semibold.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/lib/font/source-sans-pro/source-sans-pro-semibold.ttf -------------------------------------------------------------------------------- /slides/reveal.js/lib/font/source-sans-pro/source-sans-pro-semibold.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/lib/font/source-sans-pro/source-sans-pro-semibold.woff -------------------------------------------------------------------------------- /slides/reveal.js/lib/font/source-sans-pro/source-sans-pro-semibolditalic.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/lib/font/source-sans-pro/source-sans-pro-semibolditalic.eot -------------------------------------------------------------------------------- /slides/reveal.js/lib/font/source-sans-pro/source-sans-pro-semibolditalic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/lib/font/source-sans-pro/source-sans-pro-semibolditalic.ttf -------------------------------------------------------------------------------- /slides/reveal.js/lib/font/source-sans-pro/source-sans-pro-semibolditalic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/lib/font/source-sans-pro/source-sans-pro-semibolditalic.woff -------------------------------------------------------------------------------- /slides/reveal.js/lib/font/source-sans-pro/source-sans-pro.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/lib/font/source-sans-pro/source-sans-pro.css -------------------------------------------------------------------------------- /slides/reveal.js/lib/js/classList.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/lib/js/classList.js -------------------------------------------------------------------------------- /slides/reveal.js/lib/js/head.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/lib/js/head.min.js -------------------------------------------------------------------------------- /slides/reveal.js/lib/js/html5shiv.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/lib/js/html5shiv.js -------------------------------------------------------------------------------- /slides/reveal.js/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/package.json -------------------------------------------------------------------------------- /slides/reveal.js/plugin/highlight/highlight.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/plugin/highlight/highlight.js -------------------------------------------------------------------------------- /slides/reveal.js/plugin/markdown/example.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/plugin/markdown/example.html -------------------------------------------------------------------------------- /slides/reveal.js/plugin/markdown/example.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/plugin/markdown/example.md -------------------------------------------------------------------------------- /slides/reveal.js/plugin/markdown/markdown.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/plugin/markdown/markdown.js -------------------------------------------------------------------------------- /slides/reveal.js/plugin/markdown/marked.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/plugin/markdown/marked.js -------------------------------------------------------------------------------- /slides/reveal.js/plugin/math/math.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/plugin/math/math.js -------------------------------------------------------------------------------- /slides/reveal.js/plugin/multiplex/client.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/plugin/multiplex/client.js -------------------------------------------------------------------------------- /slides/reveal.js/plugin/multiplex/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/plugin/multiplex/index.js -------------------------------------------------------------------------------- /slides/reveal.js/plugin/multiplex/master.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/plugin/multiplex/master.js -------------------------------------------------------------------------------- /slides/reveal.js/plugin/multiplex/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/plugin/multiplex/package.json -------------------------------------------------------------------------------- /slides/reveal.js/plugin/notes-server/client.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/plugin/notes-server/client.js -------------------------------------------------------------------------------- /slides/reveal.js/plugin/notes-server/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/plugin/notes-server/index.js -------------------------------------------------------------------------------- /slides/reveal.js/plugin/notes-server/notes.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/plugin/notes-server/notes.html -------------------------------------------------------------------------------- /slides/reveal.js/plugin/notes/notes.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/plugin/notes/notes.html -------------------------------------------------------------------------------- /slides/reveal.js/plugin/notes/notes.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/plugin/notes/notes.js -------------------------------------------------------------------------------- /slides/reveal.js/plugin/print-pdf/print-pdf.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/plugin/print-pdf/print-pdf.js -------------------------------------------------------------------------------- /slides/reveal.js/plugin/search/search.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/plugin/search/search.js -------------------------------------------------------------------------------- /slides/reveal.js/plugin/zoom-js/zoom.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/plugin/zoom-js/zoom.js -------------------------------------------------------------------------------- /slides/reveal.js/test/examples/assets/image1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/test/examples/assets/image1.png -------------------------------------------------------------------------------- /slides/reveal.js/test/examples/assets/image2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/test/examples/assets/image2.png -------------------------------------------------------------------------------- /slides/reveal.js/test/examples/barebones.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/test/examples/barebones.html -------------------------------------------------------------------------------- /slides/reveal.js/test/examples/embedded-media.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/test/examples/embedded-media.html -------------------------------------------------------------------------------- /slides/reveal.js/test/examples/math.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/test/examples/math.html -------------------------------------------------------------------------------- /slides/reveal.js/test/examples/slide-backgrounds.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/test/examples/slide-backgrounds.html -------------------------------------------------------------------------------- /slides/reveal.js/test/examples/slide-transitions.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/test/examples/slide-transitions.html -------------------------------------------------------------------------------- /slides/reveal.js/test/qunit-2.5.0.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/test/qunit-2.5.0.css -------------------------------------------------------------------------------- /slides/reveal.js/test/qunit-2.5.0.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/test/qunit-2.5.0.js -------------------------------------------------------------------------------- /slides/reveal.js/test/simple.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/test/simple.md -------------------------------------------------------------------------------- /slides/reveal.js/test/test-markdown-element-attributes.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/test/test-markdown-element-attributes.html -------------------------------------------------------------------------------- /slides/reveal.js/test/test-markdown-element-attributes.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/test/test-markdown-element-attributes.js -------------------------------------------------------------------------------- /slides/reveal.js/test/test-markdown-external.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/test/test-markdown-external.html -------------------------------------------------------------------------------- /slides/reveal.js/test/test-markdown-external.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/test/test-markdown-external.js -------------------------------------------------------------------------------- /slides/reveal.js/test/test-markdown-options.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/test/test-markdown-options.html -------------------------------------------------------------------------------- /slides/reveal.js/test/test-markdown-options.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/test/test-markdown-options.js -------------------------------------------------------------------------------- /slides/reveal.js/test/test-markdown-slide-attributes.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/test/test-markdown-slide-attributes.html -------------------------------------------------------------------------------- /slides/reveal.js/test/test-markdown-slide-attributes.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/test/test-markdown-slide-attributes.js -------------------------------------------------------------------------------- /slides/reveal.js/test/test-markdown.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/test/test-markdown.html -------------------------------------------------------------------------------- /slides/reveal.js/test/test-markdown.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/test/test-markdown.js -------------------------------------------------------------------------------- /slides/reveal.js/test/test-pdf.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/test/test-pdf.html -------------------------------------------------------------------------------- /slides/reveal.js/test/test-pdf.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/test/test-pdf.js -------------------------------------------------------------------------------- /slides/reveal.js/test/test.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/test/test.html -------------------------------------------------------------------------------- /slides/reveal.js/test/test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/anton-trunov/coq-lecture-notes/HEAD/slides/reveal.js/test/test.js --------------------------------------------------------------------------------