Pinned Repositories
boxes-and-diamonds
Open textbook on modal logic
cv-zach
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.
forallx-yyc
UCalgary version of forallx, an introduction to formal logic
git4phi
Git for Philosophers
incompleteness-computability
Textbook on Gödel's incompleteness theorems and computability theory
lplfitch
LaTeX package for typesetting Fitch-style proofs a la Language, Proof, and Logic text
multlog
M. Ultlog, the genius many-valued logic expert
olpsurveys
Surveys conducted in courses using open logic textbooks
sets-logic-computation
Textbook on metalogic based on the Open Logic Project
ucalgmthesis
A LaTeX class to produce a University of Calgary (UCalgary) graduate thesis (uses memoir class)
rzach's Repositories
rzach/forallx-yyc
UCalgary version of forallx, an introduction to formal logic
rzach/sets-logic-computation
Textbook on metalogic based on the Open Logic Project
rzach/git4phi
Git for Philosophers
rzach/boxes-and-diamonds
Open textbook on modal logic
rzach/incompleteness-computability
Textbook on Gödel's incompleteness theorems and computability theory
rzach/ucalgmthesis
A LaTeX class to produce a University of Calgary (UCalgary) graduate thesis (uses memoir class)
rzach/cv-zach
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.
rzach/multlog
M. Ultlog, the genius many-valued logic expert
rzach/what-if
Textbook on non-classical logics
rzach/intermediate-logic
Textbook for McGill's Phil 310, Intermediate Logic
rzach/ptolemaic-astronomy
Diagrams of sphere models for variably strict conditionals (Lewis counterfactuals)
rzach/latex4phi
LaTeX for Philosophers
rzach/oupmemoir
A LaTeX class for Oxford University Press philosophy books, based on memoir
rzach/jslectureplanner
A collection of LaTeX packages that facilitate the creation and management of university course material
rzach/keyindex
A LaTeX package that makes name indexes easier
rzach/logic_and_proof
CMU Undergrad Course
rzach/multseq
M. Ultseq, the genius many-valued sequent theorem prover
rzach/OpenLogic
An open-source, customizable intermediate logic textbook
rzach/phil310
OLP setup for a text for McGill's Phil 310, Intermediate Logic
rzach/sandbox
A test repo
rzach/turing-machine-viz
A fork of @aepsilon's Turing Machine Visualizer, adapted for the Open Logic Project
rzach/ucalgary-beamer
rzach/Carnap
A formal logic framework that runs in the browser
rzach/Carnap-Manual
User Documentation for the Carnap Framework
rzach/forallx-a11y
Testing LaTeXML conversion to HTML for forall x and accessibility issues/solutions
rzach/modallogic
Modal Logic Playground
rzach/ncac
MUltlog code to go with paper An Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC
rzach/phil-letter-grade-calculator
A letter grade calculator for PHIL 279 & 379
rzach/sandbox-fr
rzach/todonotes
The package lets the user mark things to do later, in a simple and and visually appealing way.