Questions tagged [computer-assisted-proofs]
Proofs that are partially or entirely checked by computer, including those formalised in interactive theorem provers.
Proofs that are partially or entirely checked by computer, including those formalised in interactive theorem provers.