main
firmboot
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
.github\workflows\secrets.yml
 1 -
A
.github\workflows\security.yml
 3 -
A
.github\workflows\verify.yml
 5 -
A
proofs\agda\verify.py
23 1 1
A
proofs\lean\verify.sh
 2 -
A
scripts\assurance.py
5 1 -