spwhitton
/
blog
/
entry
/
Logic proofs resource
Edit
RecentChanges
History
Preferences
Comment
←
It's over

Notes from the Library

Set theory
→
Metamath Proof Explorer
This is where you can finally find the elusive ¬¬
α
→
α
and
α
→ ¬¬
α
proofs.
Add a comment