Leanstral
2 mentions across 1 person
Visit ↗All mentions
“Leanstral: Open-Source foundation for trustworthy vibe-coding”
Leanstral: An Open-Source, Efficient Prover for Formal Verification ↗2 mentions across 1 person
Visit ↗“Leanstral: Open-Source foundation for trustworthy vibe-coding”
Leanstral: An Open-Source, Efficient Prover for Formal Verification ↗