principia-rewrite, branch master Russell and Whitehead's Principia Mathematica written in in Coq Many changes to PL.v file, proved PM axioms 2021-04-20T20:25:04+00:00 Landon D. C. Elkind 2021-04-20T20:25:04+00:00 b8bb530a36cae219e6951152d378ca5d13fa2f3e 






Add files via upload
2021-04-19T22:38:01+00:00

Landon D. C. Elkind

2021-04-19T22:38:01+00:00

e1fa90fe793e67af9e8a70ef8db4b8fc42b331ee












Delete List of Definitions.pdf
2021-04-17T22:32:53+00:00

Landon D. C. Elkind

2021-04-17T22:32:53+00:00

14c957821d1b4191f6084d490a9a5bf3d4831c93












Delete List of Definitions.tex
2021-04-17T22:32:37+00:00

Landon D. C. Elkind

2021-04-17T22:32:37+00:00

4c10b28b679f1dcf4ca1bdddb4fff7641edc8c72












Delete Principia Mathematica, Volume I.pdf
2021-04-17T22:32:25+00:00

Landon D. C. Elkind

2021-04-17T22:32:25+00:00

d24efb9109901182d99610295311430fb51af7f2












Delete Principia Mathematica, Volume I.tex
2021-04-17T22:32:17+00:00

Landon D. C. Elkind

2021-04-17T22:32:17+00:00

366ff3ec808a2e0bdfbf4807f5f13b04948dbc61












Delete principia.zip
2021-04-17T22:31:57+00:00

Landon D. C. Elkind

2021-04-17T22:31:57+00:00

7cc21cc42b37ce4c8dc6d0333a29f48962734646












Delete principia.tex
2021-04-17T22:31:53+00:00

Landon D. C. Elkind

2021-04-17T22:31:53+00:00

75f0d55c4eaa110324f87574bd97f3f19d9f43c4












Delete principia.sty
2021-04-17T22:31:49+00:00

Landon D. C. Elkind

2021-04-17T22:31:49+00:00

63ab262cb45214aa896a3fa108d954cd4f441624












Delete principia.pdf
2021-04-17T22:31:44+00:00

Landon D. C. Elkind

2021-04-17T22:31:44+00:00

c233bb5378d35d7880adb417235f7488ebb7fa5c