github.com/leanprover/reference-manual

(link)
score
67 (C+)
mode
Full
last commit
c3f7363cb5980270fbe4909a31255b26d11cf505
analyzed on
Mon, 15 Jun 2026 02:03:37 +0000
total evidence
11

commit signals (11)

source signals (0)

none