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