Today I Learned

¬φ ↔ φ → ⊥

Ruben posted on 2023-04-15

0⁰

Ruben posted on 2022-10-23

Non-Constructive Proofs

Ruben posted on 2022-10-23

Python doctest

Ruben posted on 2022-10-23

SQLite rowid

Ruben posted on 2022-10-23