Popular repositories Loading

1. forallx-yyc forallx-yyc Public

   Forked from OpenLogicProject/forallx-cam

   UCalgary version of forallx, an introduction to formal logic

   TeX 95 30

2. sets-logic-computation sets-logic-computation Public

   Textbook on metalogic based on the Open Logic Project

   TeX 36 10

3. git4phi git4phi Public

   Git for Philosophers

   35 8

4. boxes-and-diamonds boxes-and-diamonds Public

   Open textbook on modal logic

   TeX 19 4

5. incompleteness-computability incompleteness-computability Public

   Textbook on Gödel's incompleteness theorems and computability theory

   TeX 16 2

6. cv-zach cv-zach Public

   Forked from bmschmidt/CV-pandoc-healy

   Create a Healy-style CV in latex without having to tweak latex files. This fork uses biblatex to generate the bibliography and includes links to philpapers and Google Scolar citation counts.

   TeX 14 4