Diff — Intuitionistic logic

Revision #2031 → #2486 · back to history

addedDouble negation eliminationaa6240bdd6b0

addedProof-carries-algorithm (Curry–Howard for constructive existence)2f6e37546d03

addedPeirce's law4b3b93617e6d