search

proofpeer / proofpeer-proofscript

The language of ProofPeer: ProofScript
MIT License
8 stars 0 forks source link

root.thy is inconsistent. #60

Closed ghost closed 9 years ago

ghost commented 9 years ago

In the branch bootstrapping, under paradox.thy, I have added a proof of ⊥.