| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Many changes to PL.v file, proved PM axioms | Landon D. C. Elkind | 5 years | |
| Age | Commit message | Author | ||
| 2021-04-20 | Many changes to PL.v file, proved PM axiomsHEADmaster | Landon D. C. Elkind | ||
| 2021-04-19 | Add files via upload | Landon D. C. Elkind | ||
| 2021-04-17 | Delete List of Definitions.pdf | Landon D. C. Elkind | ||
| 2021-04-17 | Delete List of Definitions.tex | Landon D. C. Elkind | ||
| 2021-04-17 | Delete Principia Mathematica, Volume I.pdf | Landon D. C. Elkind | ||
| 2021-04-17 | Delete Principia Mathematica, Volume I.tex | Landon D. C. Elkind | ||
| 2021-04-17 | Delete principia.zip | Landon D. C. Elkind | ||
| 2021-04-17 | Delete principia.tex | Landon D. C. Elkind | ||
| 2021-04-17 | Delete principia.sty | Landon D. C. Elkind | ||
| 2021-04-17 | Delete principia.pdf | Landon D. C. Elkind | ||
| [...] | ||||
 |
index : principia-rewrite | |
| Russell and Whitehead's Principia Mathematica written in in Coq |
| summaryrefslogtreecommitdiff |