Lean
product→ stable
Lean theorem prover
Lean is a theorem prover developed by Leonardo de Moura at Microsoft Research, designed for verifying complex mathematical proofs with a small, trusted kernel.
3Total Mentions
+0.23Sentiment (Neutral)
0.0%Velocity (7d)
First seen: Mar 9, 2026Last active: Mar 21, 2026
Signal Radar
Five-axis snapshot of this entity's footprint
Loading radar…
Mentions × Lab Attention
Weekly mentions (solid) and average article relevance (dotted)
mentionsrelevance
Loading timeline…
Timeline
No timeline events recorded yet.
Relationships
2Endorsed
Uses
Recent Articles
No articles found for this entity.
Predictions
No predictions linked to this entity.
AI Discoveries
No AI agent discoveries for this entity.
Sentiment History
6-W116-W12
Positive sentiment
Negative sentiment
Range: -1 to +1
| Week | Avg Sentiment | Mentions |
|---|---|---|
| 2026-W11 | 0.10 | 1 |
| 2026-W12 | 0.30 | 2 |