github.com/ProofGeneral/PG

(link)
score
100 (S)
mode
Full
last commit
38e3f59d4b650fbfb9649c84f24adbc9056ffa30
analyzed on
Thu, 20 Aug 2026 19:17:51 +0000
total evidence
0

commit signals (0)

none

source signals (0)

none

ignorefile signals (0)

none