spwhitton/ blog/ entry/ Logic proofs resource
← It's over | Notes from the Library | Set theory →

Metamath Proof Explorer

This is where you can finally find the elusive ¬¬α → α and α → ¬¬α proofs.