Search results

  • ...machine-checked proofs.|https://coq.inria.fr/|CLI: {{Pkg|coq}}, GUI: {{Pkg|coqide}}}}
    46 KB (6,125 words) - 15:11, 8 January 2023