| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | #No3.v# | 32906 | logplain |
| -rw-r--r-- | #No4.v# | 42700 | logplain |
| d--------- | .jekyll-cache / Jekyll / Cache / Jekyll--Cache / b7 | 33 | 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-- | No1.docx | 14178 | logplain |
| -rw-r--r-- | No1.pdf | 95606 | logplain |
| -rw-r--r-- | No1.v | 1008 | logplain |
| -rw-r--r-- | No2.docx | 50740 | logplain |
| -rw-r--r-- | No2.pdf | 160486 | logplain |
| -rw-r--r-- | No2.v | 22289 | logplain |
| -rw-r--r-- | No3.docx | 51304 | logplain |
| -rw-r--r-- | No3.pdf | 105757 | logplain |
| -rw-r--r-- | No3.v | 33099 | logplain |
| -rw-r--r-- | No4.docx | 95280 | logplain |
| -rw-r--r-- | No4.pdf | 200034 | logplain |
| -rw-r--r-- | No4.v | 77076 | logplain |
| -rw-r--r-- | No5.v | 80375 | logplain |
| -rw-r--r-- | README | 920 | logplain |
| d--------- | _site | 72 | logplain |
| -rw-r--r-- | principia.pdf | 366457 | logplain |
| -rw-r--r-- | principia.sty | 14792 | logplain |
| -rw-r--r-- | principia.tex | 16231 | logplain |
| -rw-r--r-- | principia.zip | 357487 | logplain |
 |
index : principia-rewrite | |
| Russell and Whitehead's Principia Mathematica written in in Coq |
| summaryrefslogtreecommitdiff |