gl
o
signal
← All stories
Static
1 source
·
4h ago
Leanstral: Open-source agent for trustworthy coding and formal proof engineering
Related Stories
Leanstral: Open-Source foundation for trustworthy vibe-coding
Leanstral: Open-source code agent designed for Lean 4