summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2021-02-05Added theorem namesLandon D. C. Elkind
2021-02-03Add files via uploadLandon D. C. Elkind
2021-02-03Add files via uploadLandon D. C. Elkind
2021-02-03Delete PM 2.14-2.15.pngLandon D. C. Elkind
2021-02-03Add files via uploadLandon D. C. Elkind
2021-02-03Merge branch 'master' of https://github.com/LogicalAtomist/principiaLandon D. C. Elkind
2021-02-03Deleted superseded files, fixed typosLandon D. C. Elkind
2021-02-03Delete No2.pdfLandon D. C. Elkind
2021-02-03Delete No2.docxLandon D. C. Elkind
2021-02-03Delete No1.vLandon D. C. Elkind
2021-02-03Delete No1.pdfLandon D. C. Elkind
2021-02-03Delete No1.docxLandon D. C. Elkind
2021-02-03PL prettified furtherLandon D. C. Elkind
2021-02-02New proof of *4.86, added explicit substitutionsLandon D. C. Elkind
2021-02-01Altered proof of 4.77Landon D. C. Elkind
2021-01-27Prettified codeLandon D. C. Elkind
2021-01-01PM in LaTeXLandon D. C. Elkind
2020-12-31PL fully checked in CoqLandon D. C. Elkind
2020-12-31PL completely checkedLandon D. C. Elkind
2020-12-17*4s doneLandon D. C. Elkind
2020-12-08SureLandon D. C. Elkind
2020-12-08principia TeX package updates and PDFsLandon D. C. Elkind
2020-12-08Coq code and PDF version of *1-*5Landon D. C. Elkind
2020-10-25Add files via uploadLandon D. C. Elkind
2020-10-25Delete README.mdLandon D. C. Elkind
2020-10-25Delete principia.txtLandon D. C. Elkind
2020-10-25Delete principia.texLandon D. C. Elkind
2020-10-25Delete principia.styLandon D. C. Elkind
2020-10-25Delete principia.pdfLandon D. C. Elkind
2020-10-25principia TeX packageLandon D. C. Elkind
2020-10-24Add files via uploadLandon D. C. Elkind
2020-10-24Add files via uploadLandon D. C. Elkind
2020-09-27Initial commitLandon D. C. Elkind
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 02:56:13 +0000