Pinned Repositories
circuits
Typesetting proof circuits in LaTeX and tikz.
consequently-hugo
The Hugo Source for consequently.org
consequently.github.io
drinks
Drink recipes from the William/8/Chris repertoire.
flowgraphs
Code and examples for typesetting
hugo
A Fast and Flexible Static Site Generator built with love by spf13 in GoLang
Logic-Video-Series-List
This repository is a work in progress list of videos/series on logic. I created this because I could not find an aggregate list of videos on this topic.
NASSLLI-2016-Proof-Theory-Course
Notes and Slides for the 2016 NASSLLI Course “Proof Theory: Logical and Philosophical Aspects” by Greg Restall and Shawn Standefer
OpenLogic
An open-source, customizable intermediate logic textbook
consequently's Repositories
consequently/consequently-hugo
The Hugo Source for consequently.org
consequently/flowgraphs
Code and examples for typesetting
consequently/circuits
Typesetting proof circuits in LaTeX and tikz.
consequently/consequently.github.io
consequently/drinks
Drink recipes from the William/8/Chris repertoire.
consequently/hugo
A Fast and Flexible Static Site Generator built with love by spf13 in GoLang
consequently/Logic-Video-Series-List
This repository is a work in progress list of videos/series on logic. I created this because I could not find an aggregate list of videos on this topic.
consequently/NASSLLI-2016-Proof-Theory-Course
Notes and Slides for the 2016 NASSLLI Course “Proof Theory: Logical and Philosophical Aspects” by Greg Restall and Shawn Standefer
consequently/OpenLogic
An open-source, customizable intermediate logic textbook