| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | LICENSE | 35149 | logplain |
| -rw-r--r-- | README.md | 34 | logplain |
| -rw-r--r-- | principia.tex | 15524 | logplain |
| -rw-r--r-- | principia.txt | 790 | logplain |
| -rw-r--r-- | principia.zip | 357487 | logplain |
 |
index : principia-rewrite | |
| Russell and Whitehead's Principia Mathematica written in in Coq |
| summaryrefslogtreecommitdiff |