github.com/leanprover/lean4

(link)
score
0 (F)
mode
Full
last commit
9f1e8022b71e919870342562a89a6cb71e3e38c7
analyzed on
Mon, 15 Jun 2026 02:04:28 +0000
total evidence
447

commit signals (445)

source signals (2)