cd/entity/Leanstral· home› entities› Leanstral
grep -l @leanstral /news/*.json | wc -l → 2

Leanstral

mentions 2 type Organization feed RSS

// recent coverage 2 mentions

14:09
2026-07-28
sourcefeed.dev
artificial-intelligence

AI Wrote 60,000 Lines of Proofs So You Can Read 93

A Lean 4 project by Peter Schilde, verified-3d-mesh-intersection, uses AI agents to write over 1,000 lines of implementation and more than 60,000 lines of formal proofs, leaving humans to review only …

22:33
2026-07-03
mistral.ai
artificial-intelligence

Leanstral 1.5: Proof Abundance for All

Leanstral 1.5, a free Apache-2.0 licensed model with 6B active parameters, delivers major performance upgrades in formal verification, saturating miniF2F, solving 587/672 PutnamBench problems, and ach…

// co-occurs with top 8 entities
Lean 4 2 Peter Schilde 1 verified-3d-mesh-intersection 1 Mistral 1 AWS 1 Cedar 1 seL4 1 Hugging Face 1
// topics top 6 topics
artificial intelligence 2 ai research 2 ai agents 1 developer tools 1 machine learning 1 large language models 1