Popular repositories

1. consequently-hugo Public

   The Hugo Source for consequently.org

   HTML 17 5

2. flowgraphs Public

   Code and examples for typesetting

   TeX 8 1

3. circuits Public

   Typesetting proof circuits in LaTeX and tikz.

   TeX 2

4. consequently.github.io Public

   HTML 1

5. hugo Public

   Forked from gohugoio/hugo

   A Fast and Flexible Static Site Generator built with love by spf13 in GoLang

   Go

6. NASSLLI-2016-Proof-Theory-Course Public

   Notes and Slides for the 2016 NASSLLI Course “Proof Theory: Logical and Philosophical Aspects” by Greg Restall and Shawn Standefer