Devin works via SWE2 on Lean

by Fabianx-AI
LIVE Streaming for GNU/Linux • bash 0 watching
Share this stream
https://asciinema.org/s/0gCn9sDJLUgAG95s
Copied!