fix: correct 'formal soundness' claim — proofs are pending, not done #4
hyperpolymathmirror.yml
on: push
mirror-gitlab
0s
mirror-bitbucket
mirror-codeberg
0s
mirror-sourcehut
0s
mirror-disroot
0s
mirror-gitea
0s
mirror-radicle
0s