| Mode | Name | Size | |
|---|---|---|---|
| d--------- | .jekyll-cache / Jekyll / Cache / Jekyll--Cache / b7 | 33 | logplain |
| -rw-r--r-- | 2.37sidebysidebysideArrows.png | 228153 | logplain |
| -rw-r--r-- | LICENSE | 35149 | logplain |
| -rw-r--r-- | List of Definitions.pdf | 186185 | logplain |
| -rw-r--r-- | List of Definitions.tex | 21717 | logplain |
| -rw-r--r-- | Logo.png | 6076 | logplain |
| -rw-r--r-- | PL.pdf | 428416 | logplain |
| -rw-r--r-- | PL.v | 124452 | logplain |
| -rw-r--r-- | PM2.14-2.15.png | 173702 | logplain |
| -rw-r--r-- | Principia Mathematica, Volume I.pdf | 849753 | logplain |
| -rw-r--r-- | Principia Mathematica, Volume I.tex | 445246 | logplain |
| -rw-r--r-- | README | 935 | logplain |
| -rw-r--r-- | SamplePMalphabeticallistofprops.png | 101623 | logplain |
| d--------- | TeX package samples | 311 | logplain |
| d--------- | _site | 72 | logplain |
| -rw-r--r-- | principia.log | 16314 | logplain |
| -rw-r--r-- | principia.pdf | 381284 | logplain |
| -rw-r--r-- | principia.sty | 17308 | logplain |
| -rw-r--r-- | principia.tex | 16452 | logplain |
| -rw-r--r-- | principia.zip | 372083 | logplain |
 |
index : principia-rewrite | |
| Russell and Whitehead's Principia Mathematica written in in Coq |
| summaryrefslogtreecommitdiff |
