Rename header.difficulty() to .proof(). #725
ci.yml
on: push
Matrix: autotools
Matrix: cmake
Matrix: msbuild
Matrix: preset
Annotations
5 warnings