github.com/leanprover-community/physlib

(link)
score
70 (B-)
mode
Full
last commit
d8fbec21456e249992a50cf0480d0111731c3f02
analyzed on
Mon, 15 Jun 2026 02:05:23 +0000
total evidence
10

commit signals (10)

source signals (0)

none