Block or report user

Organizations

@OpenLogicProject

Popular repositories

  1. git4phi

    Git for Philosophers

    16 5

  2. phil379

    Textbook for Calgary's Logic II course based on the Open Logic Project

    TeX 6 3

  3. phil279

    Beamer slides for Phil 279 (Logic I)

    TeX 2

  4. forallx-yyc

    Forked from OpenLogicProject/forallx-cam

    UCalgary version of forallx

    TeX 2 2

  5. phil479

    Textbook for Calgary's Logic III course

    TeX 1 1

  6. keyindex

    A LaTeX package that makes name indexes easier

    Shell

137 contributions in the last year

Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mon Wed Fri

Contribution activity First pull request First issue First repository Joined GitHub

February 2017

Created an issue in OpenLogicProject/OpenLogic that received 2 comments

0 or zero

Primitive recursive functions: do they start with the "constant" zero, or the one-place function that's constant =0? Currently: the former. Benefit…

Seeing something unexpected? Take a look at the GitHub profile guide.