summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2021-04-20Many changes to PL.v file, proved PM axiomsHEADmasterLandon D. C. Elkind
2021-04-19Add files via uploadLandon D. C. Elkind
2021-04-17Delete List of Definitions.pdfLandon D. C. Elkind
2021-04-17Delete List of Definitions.texLandon D. C. Elkind
2021-04-17Delete Principia Mathematica, Volume I.pdfLandon D. C. Elkind
2021-04-17Delete Principia Mathematica, Volume I.texLandon D. C. Elkind
2021-04-17Delete principia.zipLandon D. C. Elkind
2021-04-17Delete principia.texLandon D. C. Elkind
2021-04-17Delete principia.styLandon D. C. Elkind
2021-04-17Delete principia.pdfLandon D. C. Elkind
2021-04-17Delete principia.logLandon D. C. Elkind
2021-04-17Delete READMELandon D. C. Elkind
2021-03-31Proved PM axioms using Coq's classical librariesLandon D. C. Elkind
2021-02-28Version 1.2, principia TeX package (minor update)Landon D. C. Elkind
2021-02-14LogoLandon D. C. Elkind
2021-02-14Project pictureLandon D. C. Elkind
2021-02-14Proof of *5.7 now follows PM sketchLandon D. C. Elkind
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
*4-*5 are currently incomplete.
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
principia LaTeX2e style file, TeX file, PDF, and readme.
2020-10-24Add files via uploadLandon D. C. Elkind
principia LaTeX2e package Version 1.0. It covers notations through Volume I of Whitehead and Russell's "Principia Mathematica."
2020-09-27Initial commitLandon D. C. Elkind
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 06:48:18 +0000