ABI: make Idris2 proofs genuinely compile + add machine-checked theor… #59
hyperpolymathmirror.yml
on: push
mirror
/
mirror-gitlab
mirror
/
mirror-bitbucket
mirror
/
mirror-codeberg
mirror
/
mirror-sourcehut
0s
mirror
/
mirror-disroot
mirror
/
mirror-gitea
mirror
/
mirror-radicle