descriptive claim

Lean allows users to state and prove mathematical theorems and build mathematical libraries such as 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.80importance to the conversation

0.98confidence the claim was read correctly