| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Many changes to PL.v file, proved PM axioms | Landon D. C. Elkind | 5 years | |
 |
index : principia-rewrite | |
| Russell and Whitehead's Principia Mathematica written in in Coq |
| summaryrefslogtreecommitdiff |
|
index : principia-rewrite | |
| Russell and Whitehead's Principia Mathematica written in in Coq |
| summaryrefslogtreecommitdiff |
| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Many changes to PL.v file, proved PM axioms | Landon D. C. Elkind | 5 years | |