The Proof Theory Blog is a community project that solicits contributions from all corners of the proof theory world, broadly defined. If you are interested in posting a short note, a small collection of posts or becoming a regular contributor, please get in touch by email.
This site runs on the WordPress blog management system, with some adaptations and various plugins and to aid technical writing, including:
- QuickLaTeX. This provides access to a full LaTeX distribution and can be used inline in posts. By default it loads the packages such as amsmath, amssymb, mathpartir and tikz. Other packages may be loaded upon request.
- Papercite. This compiles BibTex citation entries into HTML. Each post may be equipped with its own .bib file and references may be cited inline. A list of references is shown by default at the end of posts.
- Safe SVG support, so authors may choose to typeset displays offline and inline them as vector images.
The point of all this is to make it as easy as possible for a contributor to write a post that combines the typesetting qualities of LaTeX with the rich text features and interaction enabled by modern web technologies.
The tagline of this website rotates between a selection of one-line (mostly symbolic) celebrated results in proof theory. Please feel free to suggest some more!