Discover @rzach Open Source projects

Richard Zach (@rzach)

rzach

Stars
276
Global Rank 95,341 (Top 4 %)
Followers 128
Following 50
Registered almost 12 years ago
Most used languages

TeX
84.2 %

Prolog
10.5 %

R
5.3 %
Location 🇨🇦 Canada
Country Total Rank 2,984
Country Ranking

Prolog
10

TeX
29

R
349

sets-logic-computation

Textbook on metalogic based on the Open Logic Project

git4phi

Git for Philosophers

boxes-and-diamonds

Open textbook on modal logic

incompleteness-computability

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

ucalgmthesis

A LaTeX class to produce a University of Calgary (UCalgary) graduate thesis (uses memoir class)

multlog

M. Ultlog, the genius many-valued logic expert

olpsurveys

Surveys conducted in courses using open logic textbooks

lplfitch

LaTeX package for typesetting Fitch-style proofs a la Language, Proof, and Logic text

what-if

Textbook on non-classical logics

phil279

Beamer slides for Phil 279 (Logic I)

ptolemaic-astronomy

Diagrams of sphere models for variably strict conditionals (Lewis counterfactuals)

intermediate-logic

Textbook for McGill's Phil 310, Intermediate Logic

latex4phi

LaTeX for Philosophers

oupmemoir

A LaTeX class for Oxford University Press philosophy books, based on memoir

ucalgary-poster

A poster style for the University of Calgary for use with tikzposter

nerlim

An updated Master Bibliography File for use with custom-bib

multseq

M. Ultseq, the genius many-valued sequent theorem prover

keyindex

A LaTeX package that makes name indexes easier

phil310

OLP setup for a text for McGill's Phil 310, Intermediate Logic

ucalgary-beamer

sandbox