Lesley's Digital Garden
Search
Search
Dark mode
Light mode
Explorer
Tag: logic/proofs
5 items with this tag.
Mar 13, 2026
conditional proofs
logic/proofs
Dec 28, 2024
Fitch proof system
logic/proofs
Oct 31, 2024
truth tree
logic/proofs
Sep 30, 2024
direct proofs
math/proofs
logic/proofs
Sep 30, 2024
proof system
logic/proofs
logic/FormalSystem