Founder of meya.ai and now q5m.ai. Previously co-founded ProductWiki and worked at Google. University of Waterloo Systems Design Engineering. Cycling enthusiast
- Waterloo, Ontario, Canada
-
22:58
(UTC -04:00) - https://www.q5m.ai
- @ekalvi
Pinned Loading
-
-
-
-
-
q5m-ai/erdos-193
q5m-ai/erdos-193 PublicAn unconditional, Lean-formalized solution to Erdős Problem 193, with interactive explanations and reproducible checks
Python
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.





