Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
fragments.snippets.tex | 2021-07-22 14:18 | 1.4K | ||
fragments.io.json | 2021-07-22 14:18 | 1.4K | ||
minification.rst.cache.xz | 2021-07-22 14:18 | 1.6K | ||
fragments.snippets.html | 2021-07-22 14:18 | 1.9K | ||
api.out | 2021-07-22 14:18 | 2.1K | ||
coqdoc.v.cache.xz | 2021-07-22 14:18 | 2.2K | ||
tango_subtle.min.css | 2021-07-22 14:18 | 2.6K | ||
document.v | 2021-07-22 14:18 | 2.6K | ||
literate.v.rst | 2021-07-22 14:18 | 2.6K | ||
custom_highlighting.html | 2021-07-22 14:18 | 4.5K | ||
tango_subtle.css | 2021-07-22 14:18 | 4.7K | ||
alectryon.js | 2021-07-22 14:18 | 6.4K | ||
hyps.tex | 2021-07-22 14:18 | 6.5K | ||
hyps.html | 2021-07-22 14:18 | 8.1K | ||
docutils_basic.css | 2021-07-22 14:18 | 10K | ||
mathjax.html | 2021-07-22 14:18 | 15K | ||
document.minimal.html | 2021-07-22 14:18 | 19K | ||
plain.lean.html | 2021-07-22 14:18 | 19K | ||
alectryon.css | 2021-07-22 14:18 | 20K | ||
minification.html | 2021-07-22 14:18 | 22K | ||
plain.v.html | 2021-07-22 14:18 | 34K | ||
literate.html | 2021-07-22 14:18 | 41K | ||
document.tex | 2021-07-22 14:18 | 41K | ||
literate.tex | 2021-07-22 14:18 | 41K | ||
document.html | 2021-07-22 14:18 | 41K | ||
lean3-tutorial.html | 2021-07-22 14:18 | 44K | ||
coqdoc.html | 2021-07-22 14:18 | 45K | ||
coqdoc.v.html | 2021-07-22 14:18 | 45K | ||
literate.v.html | 2021-07-22 14:18 | 46K | ||
output.zip | 2021-07-22 14:18 | 81K | ||