technical-evangelism-for-formal-systems

Translate formally verified infrastructure into developer adoption. Conference talks, blog posts, developer docs, academic venue strategy, and open-source community building for projects whose core value proposition involves TLA+, model checking, mechanism design, or collateralized contracts that normal developers have never heard of. Decides audience, depth, medium, and call-to-action. NOT for academic paper writing (use research-craft), marketing copy for non-technical audiences, social media management, or PR.