principia-rewrite/.jekyll-cache/Jekyll/Cache/Jekyll--Cache, branch master Russell and Whitehead's Principia Mathematica written in in Coq Sure 2020-12-08T19:48:01+00:00 Landon D. C. Elkind 2020-12-08T19:48:01+00:00 9592ce428336d1a27ac0d06a5c16f37e64a2a43d