| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Sample principia 54.26.pdf | 71425 | logplain |
| -rw-r--r-- | Sample principia 54.43.pdf | 71068 | logplain |
| -rw-r--r-- | Sample principia alphabetical list of props.png | 101623 | logplain |
| -rw-r--r-- | Sample principia introduction excerpt.png | 110860 | logplain |
| -rw-r--r-- | Sample principia title page.png | 65789 | logplain |
 |
index : principia-rewrite | |
| Russell and Whitehead's Principia Mathematica written in in Coq |
| summaryrefslogtreecommitdiff |
path: root/TeX package samples
