Popular repositories Loading

1. edl edl Public

   Elements of Deductive Logic, an open-source intermediate logic textbook

   TeX 12 4

2. forallx-adl forallx-adl Public

   Forked from OpenLogicProject/forallx-cam

   Antony Eagle's Adelaide fork of Tim Button's Cambridge version of forallx

   TeX 1 1

3. styles styles Public

   Forked from citation-style-language/styles

   Official repository for Citation Style Language (CSL) citation styles.

   Ruby

4. OpenLogic OpenLogic Public

   Forked from OpenLogicProject/OpenLogic

   An open-source, customizable intermediate logic textbook

   TeX

5. git4phi git4phi Public

   Forked from rzach/git4phi

   Git for Philosophers

6. pandoc-templates pandoc-templates Public

   Forked from jgm/pandoc-templates

   Templates for pandoc, tagged to release

   HTML