Get the latest tech news

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

First open-source code agent for Lean 4.

None

Get the Android app