descriptive claim

Lean lets users state and prove mathematical theorems and build mathematical libraries, including Mathlib.

In their words

The transcript segments this claim was taken from

“You can state mathematical theorems. You can prove them. You can build a mathematical library like the Lean math lib.”

0.98how strongly it was put, not whether it is true

0.70importance to the conversation

0.98confidence the claim was read correctly