index
:
principia-rewrite
master
Russell and Whitehead's Principia Mathematica written in in Coq
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
README.md
blob: 7c9ba07a3b10664f1816226f50f90fba1dabf183 (
plain
)
1
2
# principia
The Principia Rewrite
