| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | LICENSE | 35149 | logplain |
| -rw-r--r-- | README | 920 | logplain |
| -rw-r--r-- | principia.pdf | 366457 | logplain |
| -rw-r--r-- | principia.sty | 12954 | 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 |