├── .gitignore ├── Principia.lean ├── Principia ├── Basic.lean └── PartI │ └── SectionA │ ├── ltximg │ ├── org-ltximg_05467f1fb1601bb4e150f3dcc131ac23a632f446.png │ ├── org-ltximg_06c4aa889449da0ae1176b77944d99826281e8b0.png │ ├── org-ltximg_0732cbea28f980f96909a6b8fe15e9a7cb827ccf.png │ ├── org-ltximg_0828b9f67cbf7b48898e44749f05793b3a46c267.png │ ├── org-ltximg_0b324330ffa23b7cbc4967e623f7333b294f9b3e.png │ ├── org-ltximg_10ec5e7afd0cdd8c705fcdb87b7367060866e3bf.png │ ├── org-ltximg_1aac6079edec4d7cad8d9d1201d39d890aa6c144.png │ ├── org-ltximg_1d68109625b7c3409a62a09530686ac46a84d163.png │ ├── org-ltximg_299be29fca03775fc13eeda6a5110fe561286aab.png │ ├── org-ltximg_29ee09d11826b7266114d965f723ebea4f6caa2f.png │ ├── org-ltximg_2c9a5bcdce92ff6fd9e7ad5fab477172b86a6d2a.png │ ├── org-ltximg_3266e0626e102e517a7e1db3ef01dabc3f9eeac1.png │ ├── org-ltximg_3c6d066244512a6a9c800d42a83a210017719eda.png │ ├── org-ltximg_40cdfdc8dfbf0a78a9149b70554e758dca90e9ec.png │ ├── org-ltximg_43db40032367b4943d47694d7e0f999ba556d937.png │ ├── org-ltximg_4867d09f918f96027ce19bde2a0a8706aa586591.png │ ├── org-ltximg_4a6fc1f1d80c545559dc3901cd407baec35b2bdd.png │ ├── org-ltximg_5472c22bc28138f74b76bd93dfdd9ea8eae1ddcf.png │ ├── org-ltximg_54ad8ecf37dbe82c2f71e67b23e9176ca766f142.png │ ├── org-ltximg_5dd5a38de9a745256a93bfd18ed7d889ee367fb3.png │ ├── org-ltximg_624e1afa578ed420249a0b001e31055c3e004cf5.png │ ├── org-ltximg_696a98d3dd53a67f6ba9263360d11e4a4c727509.png │ ├── org-ltximg_76f4aac5fff6af37cb3a5e672524d97937d7a675.png │ ├── org-ltximg_7ae612de8925941fecf368b369d4f4043a65c415.png │ ├── org-ltximg_822650a7f1c7e478a8c8169f1bb9368bcbbe53cd.png │ ├── org-ltximg_82c075dcceb6f30cccbc57e4c32cddd594e3f8af.png │ ├── org-ltximg_8ba219acd60156c9e8890f955b0d299fb933b986.png │ ├── org-ltximg_965f3d4374845f3bbfec9fbb776a0c8b0c71ac15.png │ ├── org-ltximg_9f881038eaa852bf0d6d25ad609cb978a6af6e5a.png │ ├── org-ltximg_a17d72afc8a3465877c0bb73c0efa60eb93f73f1.png │ ├── org-ltximg_a4fc4069cd15d40ab7ef808aaf5d2f2ecb59f1ca.png │ ├── org-ltximg_a94d0f058ca31c37002ecaf12b9d32f0085dee0a.png │ ├── org-ltximg_b3bf98577f7df6af435c8cfa29d9655c5e72e291.png │ ├── org-ltximg_b68021d1539c9be694d94930e4f5a2549d583334.png │ ├── org-ltximg_ba9a8dbf6fd33141ed74d00122596a420f922a18.png │ ├── org-ltximg_bc8106d19e73b3715f708affcd8445bff8d92622.png │ ├── org-ltximg_c59e0957c989e10cb8ad3c2446bfa4f6751c3602.png │ ├── org-ltximg_c932d1e875e69e56d598c4af0163d3bc9fe10d90.png │ ├── org-ltximg_d246908e8ab10e562011f1ccd2665c9777b12691.png │ ├── org-ltximg_d54c99f41d53a50508ca16034a321d8ed244bb49.png │ ├── org-ltximg_dd1b4d3dccf7d116f22385969573222f814a9e0d.png │ ├── org-ltximg_de7896759c95d3f177b2aeaafe79f74e77c48e79.png │ ├── org-ltximg_e4007db77c80dc312ee2acc5a4da626067493a02.png │ ├── org-ltximg_f260181c9ce6243671cbe8689d18e934c2fcb3a0.png │ ├── org-ltximg_fbc499a26e72ed64698165da268544f472f47495.png │ ├── org-ltximg_fd2e1f844f3e4e3e9f1c1f7786e094567f8aebe6.png │ ├── org-ltximg_fda20d4faff6ce097d98c9e0e3fda6ab0a7a70c0.png │ └── org-ltximg_ffc8749312ba0649548dfbd289782b3eaa2382d2.png │ └── primitive_ideas_and_propositions.lean ├── images ├── building-from-constituents.png ├── editing-experience.png ├── logic-semantics-and-metamathematics-book-cover.png ├── principia-mathematica-book-cover.png ├── syll-example.png └── syll.png ├── index.html ├── lake-manifest.json ├── lakefile.lean ├── lean-toolchain ├── ltximg └── org-ltximg_6d68389a4108babfff48cb20f956f19062fd43fc.png ├── readme.org └── whiteheadrussell-principiamathematicavolumei.pdf /.gitignore: -------------------------------------------------------------------------------- 1 | /.lake -------------------------------------------------------------------------------- /Principia.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia.lean -------------------------------------------------------------------------------- /Principia/Basic.lean: -------------------------------------------------------------------------------- 1 | def hello := "world" -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_05467f1fb1601bb4e150f3dcc131ac23a632f446.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_05467f1fb1601bb4e150f3dcc131ac23a632f446.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_06c4aa889449da0ae1176b77944d99826281e8b0.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_06c4aa889449da0ae1176b77944d99826281e8b0.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_0732cbea28f980f96909a6b8fe15e9a7cb827ccf.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_0732cbea28f980f96909a6b8fe15e9a7cb827ccf.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_0828b9f67cbf7b48898e44749f05793b3a46c267.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_0828b9f67cbf7b48898e44749f05793b3a46c267.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_0b324330ffa23b7cbc4967e623f7333b294f9b3e.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_0b324330ffa23b7cbc4967e623f7333b294f9b3e.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_10ec5e7afd0cdd8c705fcdb87b7367060866e3bf.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_10ec5e7afd0cdd8c705fcdb87b7367060866e3bf.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_1aac6079edec4d7cad8d9d1201d39d890aa6c144.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_1aac6079edec4d7cad8d9d1201d39d890aa6c144.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_1d68109625b7c3409a62a09530686ac46a84d163.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_1d68109625b7c3409a62a09530686ac46a84d163.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_299be29fca03775fc13eeda6a5110fe561286aab.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_299be29fca03775fc13eeda6a5110fe561286aab.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_29ee09d11826b7266114d965f723ebea4f6caa2f.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_29ee09d11826b7266114d965f723ebea4f6caa2f.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_2c9a5bcdce92ff6fd9e7ad5fab477172b86a6d2a.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_2c9a5bcdce92ff6fd9e7ad5fab477172b86a6d2a.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_3266e0626e102e517a7e1db3ef01dabc3f9eeac1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_3266e0626e102e517a7e1db3ef01dabc3f9eeac1.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_3c6d066244512a6a9c800d42a83a210017719eda.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_3c6d066244512a6a9c800d42a83a210017719eda.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_40cdfdc8dfbf0a78a9149b70554e758dca90e9ec.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_40cdfdc8dfbf0a78a9149b70554e758dca90e9ec.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_43db40032367b4943d47694d7e0f999ba556d937.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_43db40032367b4943d47694d7e0f999ba556d937.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_4867d09f918f96027ce19bde2a0a8706aa586591.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_4867d09f918f96027ce19bde2a0a8706aa586591.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_4a6fc1f1d80c545559dc3901cd407baec35b2bdd.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_4a6fc1f1d80c545559dc3901cd407baec35b2bdd.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_5472c22bc28138f74b76bd93dfdd9ea8eae1ddcf.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_5472c22bc28138f74b76bd93dfdd9ea8eae1ddcf.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_54ad8ecf37dbe82c2f71e67b23e9176ca766f142.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_54ad8ecf37dbe82c2f71e67b23e9176ca766f142.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_5dd5a38de9a745256a93bfd18ed7d889ee367fb3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_5dd5a38de9a745256a93bfd18ed7d889ee367fb3.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_624e1afa578ed420249a0b001e31055c3e004cf5.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_624e1afa578ed420249a0b001e31055c3e004cf5.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_696a98d3dd53a67f6ba9263360d11e4a4c727509.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_696a98d3dd53a67f6ba9263360d11e4a4c727509.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_76f4aac5fff6af37cb3a5e672524d97937d7a675.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_76f4aac5fff6af37cb3a5e672524d97937d7a675.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_7ae612de8925941fecf368b369d4f4043a65c415.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_7ae612de8925941fecf368b369d4f4043a65c415.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_822650a7f1c7e478a8c8169f1bb9368bcbbe53cd.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_822650a7f1c7e478a8c8169f1bb9368bcbbe53cd.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_82c075dcceb6f30cccbc57e4c32cddd594e3f8af.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_82c075dcceb6f30cccbc57e4c32cddd594e3f8af.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_8ba219acd60156c9e8890f955b0d299fb933b986.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_8ba219acd60156c9e8890f955b0d299fb933b986.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_965f3d4374845f3bbfec9fbb776a0c8b0c71ac15.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_965f3d4374845f3bbfec9fbb776a0c8b0c71ac15.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_9f881038eaa852bf0d6d25ad609cb978a6af6e5a.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_9f881038eaa852bf0d6d25ad609cb978a6af6e5a.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_a17d72afc8a3465877c0bb73c0efa60eb93f73f1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_a17d72afc8a3465877c0bb73c0efa60eb93f73f1.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_a4fc4069cd15d40ab7ef808aaf5d2f2ecb59f1ca.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_a4fc4069cd15d40ab7ef808aaf5d2f2ecb59f1ca.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_a94d0f058ca31c37002ecaf12b9d32f0085dee0a.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_a94d0f058ca31c37002ecaf12b9d32f0085dee0a.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_b3bf98577f7df6af435c8cfa29d9655c5e72e291.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_b3bf98577f7df6af435c8cfa29d9655c5e72e291.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_b68021d1539c9be694d94930e4f5a2549d583334.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_b68021d1539c9be694d94930e4f5a2549d583334.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_ba9a8dbf6fd33141ed74d00122596a420f922a18.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_ba9a8dbf6fd33141ed74d00122596a420f922a18.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_bc8106d19e73b3715f708affcd8445bff8d92622.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_bc8106d19e73b3715f708affcd8445bff8d92622.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_c59e0957c989e10cb8ad3c2446bfa4f6751c3602.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_c59e0957c989e10cb8ad3c2446bfa4f6751c3602.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_c932d1e875e69e56d598c4af0163d3bc9fe10d90.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_c932d1e875e69e56d598c4af0163d3bc9fe10d90.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_d246908e8ab10e562011f1ccd2665c9777b12691.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_d246908e8ab10e562011f1ccd2665c9777b12691.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_d54c99f41d53a50508ca16034a321d8ed244bb49.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_d54c99f41d53a50508ca16034a321d8ed244bb49.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_dd1b4d3dccf7d116f22385969573222f814a9e0d.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_dd1b4d3dccf7d116f22385969573222f814a9e0d.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_de7896759c95d3f177b2aeaafe79f74e77c48e79.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_de7896759c95d3f177b2aeaafe79f74e77c48e79.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_e4007db77c80dc312ee2acc5a4da626067493a02.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_e4007db77c80dc312ee2acc5a4da626067493a02.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_f260181c9ce6243671cbe8689d18e934c2fcb3a0.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_f260181c9ce6243671cbe8689d18e934c2fcb3a0.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_fbc499a26e72ed64698165da268544f472f47495.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_fbc499a26e72ed64698165da268544f472f47495.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_fd2e1f844f3e4e3e9f1c1f7786e094567f8aebe6.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_fd2e1f844f3e4e3e9f1c1f7786e094567f8aebe6.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_fda20d4faff6ce097d98c9e0e3fda6ab0a7a70c0.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_fda20d4faff6ce097d98c9e0e3fda6ab0a7a70c0.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/ltximg/org-ltximg_ffc8749312ba0649548dfbd289782b3eaa2382d2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/ltximg/org-ltximg_ffc8749312ba0649548dfbd289782b3eaa2382d2.png -------------------------------------------------------------------------------- /Principia/PartI/SectionA/primitive_ideas_and_propositions.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/Principia/PartI/SectionA/primitive_ideas_and_propositions.lean -------------------------------------------------------------------------------- /images/building-from-constituents.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/images/building-from-constituents.png -------------------------------------------------------------------------------- /images/editing-experience.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/images/editing-experience.png -------------------------------------------------------------------------------- /images/logic-semantics-and-metamathematics-book-cover.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/images/logic-semantics-and-metamathematics-book-cover.png -------------------------------------------------------------------------------- /images/principia-mathematica-book-cover.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/images/principia-mathematica-book-cover.png -------------------------------------------------------------------------------- /images/syll-example.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/images/syll-example.png -------------------------------------------------------------------------------- /images/syll.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/images/syll.png -------------------------------------------------------------------------------- /index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/index.html -------------------------------------------------------------------------------- /lake-manifest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/lake-manifest.json -------------------------------------------------------------------------------- /lakefile.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/lakefile.lean -------------------------------------------------------------------------------- /lean-toolchain: -------------------------------------------------------------------------------- 1 | leanprover/lean4:v4.8.0-rc2 2 | -------------------------------------------------------------------------------- /ltximg/org-ltximg_6d68389a4108babfff48cb20f956f19062fd43fc.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/ltximg/org-ltximg_6d68389a4108babfff48cb20f956f19062fd43fc.png -------------------------------------------------------------------------------- /readme.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/readme.org -------------------------------------------------------------------------------- /whiteheadrussell-principiamathematicavolumei.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ndrwnaguib/principia/HEAD/whiteheadrussell-principiamathematicavolumei.pdf --------------------------------------------------------------------------------