github.com/AdaCore/why3 (link)

the signals and their derived score are provisional and subject to change.

validate manually before sharing.

score
100 (S)
mode
Full
last commit
58be01d91c9f1ccd37cd60b890fdf293b8afde90
analyzed on
Sun, 13 Sep 2026 21:02:17 +0000
total evidence
0

commit signals (0)

none

source signals (0)

none

ignorefile signals (0)

none