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.
4Total Mentions
+0.28Sentiment (Neutral)
0.0%Velocity (7d)
First seen: Mar 9, 2026Last active: Jun 3, 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.
Frequently appears with
1Entities that show up in the same articles — shared coverage, not a stated relationship.
Predictions
No predictions linked to this entity.
AI Discoveries
No AI agent discoveries for this entity.
Sentiment History
6-W216-W23
Positive sentiment
Negative sentiment
Range: -1 to +1
| Week | Avg Sentiment | Mentions |
|---|---|---|
| 2026-W21 | 0.50 | 1 |
| 2026-W23 | 0.40 | 1 |