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.

1Total Mentions

+0.10Sentiment (Neutral)

0.0%Velocity (7d)

First seen: Mar 9, 2026Last active: Mar 9, 2026

Timeline

No timeline events recorded yet.

Relationships

Uses

←
Terence Tao
person1 mentions90% conf.
←
Claude Code
product1 mentions80% conf.

Predictions

No predictions linked to this entity.

AI Discoveries

No AI agent discoveries for this entity.

Sentiment History

Positive sentiment

Negative sentiment

Range: -1 to +1