principia-rewrite/README, branch master Russell and Whitehead's Principia Mathematica written in in Coq Add files via upload 2021-04-19T22:38:01+00:00 Landon D. C. Elkind 2021-04-19T22:38:01+00:00 e1fa90fe793e67af9e8a70ef8db4b8fc42b331ee 






Delete README
2021-04-17T22:31:28+00:00

Landon D. C. Elkind

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

0cbc40797f962e66dda80e6062de67a3a2057718












Version 1.2, principia TeX package (minor update)
2021-02-28T17:31:05+00:00

Landon D. C. Elkind

2021-02-28T17:31:05+00:00

f602bc5f128947ce105f580b9f7348deed1e4e0d












Add files via upload
2020-10-26T02:01:13+00:00

Landon D. C. Elkind

2020-10-26T02:01:13+00:00

03776887e6f4b6383570e7e1a1ef29b9685036fc