Leanstral: Open-source agent for trustworthy coding and formal proof engineering

March 17, 2026 1 min read

// tldr

Lean 4 paper (2021): <a href="https://dl.acm.org/doi/10.1007/978-3-030-79876-5_37" rel="nofollow">https://dl.acm.org/doi/10.1007/978-3-030-79876-5_37</a>

// deep dive

Lean 4 paper (2021): https://dl.acm.org/doi/10.1007/978-3-030-79876-5_37

// get daily digest

Top 10 dev stories every morning at 8am UTC. AI-curated. Retro terminal HTML email.