rzach/ptolemaic-astronomy rzach/ptolemaic-astronomy

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    TeX
  • License
    LaTeX Project Pub...
  • Created over 6 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
rzach/ptolemaic-astronomy
github

rzach

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

sets-logic-computation

Textbook on metalogic based on the Open Logic Project
TeX
36
star
2

git4phi

Git for Philosophers
34
star
3

boxes-and-diamonds

Open textbook on modal logic
TeX
19
star
4

incompleteness-computability

Textbook on Gödel's incompleteness theorems and computability theory
TeX
16
star
5

ucalgmthesis

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

multlog

M. Ultlog, the genius many-valued logic expert
Prolog
8
star
7

olpsurveys

Surveys conducted in courses using open logic textbooks
R
7
star
8

lplfitch

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

what-if

Textbook on non-classical logics
TeX
5
star
10

phil279

Beamer slides for Phil 279 (Logic I)
TeX
4
star
11

intermediate-logic

Textbook for McGill's Phil 310, Intermediate Logic
TeX
4
star
12

latex4phi

LaTeX for Philosophers
TeX
2
star
13

oupmemoir

A LaTeX class for Oxford University Press philosophy books, based on memoir
TeX
2
star
14

ucalgary-poster

A poster style for the University of Calgary for use with tikzposter
TeX
1
star
15

nerlim

An updated Master Bibliography File for use with custom-bib
TeX
1
star
16

multseq

M. Ultseq, the genius many-valued sequent theorem prover
Prolog
1
star
17

keyindex

A LaTeX package that makes name indexes easier
TeX
1
star
18

phil310

OLP setup for a text for McGill's Phil 310, Intermediate Logic
TeX
1
star
19

ucalgary-beamer

TeX
1
star
20

sandbox

A test repo
TeX
1
star