Vibe Proof

Credits and licences

The proofs and papers on this site belong to the entries that present them. The pages around them are made with the software and the fonts below, which keep their own licences.

Lax archive tool

The pages are rendered by lax-archive 0.1.51, licensed under the Apache License 2.0 (text of the licence). The scripts, the stylesheet and the graphics of the pages in assets/ come from it under the same licence. Source: github.com/lax-archive/lax.

pdf.js

pdf.js 5.6.205 shows the paper of each entry. Apache License 2.0: licence. Source: github.com/mozilla/pdf.js.

KaTeX

KaTeX 0.18.10 typeset the mathematics of the pages in advance. Its stylesheet and fonts are in assets/. MIT licence: licence. Source: github.com/KaTeX/KaTeX.

ReflowTeX

The viewer for reflowable papers, assets/reflowtex/latex-viewer.js, is ReflowTeX with changes by the Lax archive. GNU Affero General Public License, version 3 or later: licence. The file is served unminified, and it is the corresponding source of the viewer that runs. Source: github.com/lax-archive/reflowtex. The upstream project is github.com/radek-p/reflowtex.

Fonts

• Latin Modern, the text font of the pages. GUST Font License: licence.
• DejaVu Serif, the fallback font of the graphs: licence.
• The KaTeX fonts come with KaTeX, above.
• JetBrains Mono, the font of code. SIL Open Font License 1.1: licence. The stylesheet names MonoLisa before it, which a reader sees only if that font is installed on the reader's machine; the site does not ship it.