~/leocamacho.co
Search
Search
Get Around
🧠 EdinburghAI
Co-founder and President of my University's AI Society
🛠️ Projects
Side projects I've worked on
📝 Essays
Thoughts on AI, startups, and the future
Contact Me
📧 Email
💼 LinkedIn
🐦 Twitter
Direct Proofs
Made
Mar 14, 2025
modified
Mar 14, 2025
1 min read
Express as a
Statement (Proposition)
,
“Suppose
x
∈
D
and
P
(
x
)
“.
Graph View
Backlinks
Proofs