principia-rewrite - Russell and Whitehead's Principia Mathematica written in in Coq

summary refs log tree commit diff

path: root/principia.log

diff options

Diffstat (limited to 'principia.log')

0 files changed, 0 insertions, 0 deletions