Search results

Jump to navigation Jump to search
  • ...ve development of machine-checked proofs.|https://coq.inria.fr/|CLI: {{Pkg|coq}}, GUI: {{Pkg|coqide}}}}
    41 KB (5,521 words) - 12:12, 18 February 2020