Coming Soon: A Friendly Mathematical Guide to Elliptic Curves.
Zaiku LLM Challenge Invitation ($10k prize for winners)
Software Verification Course with Lean