Search results

  • List of applications/Science
    ...machine-checked proofs.|https://coq.inria.fr/|CLI: {{Pkg|coq}}, GUI: {{Pkg|coqide}}}} ...
    69 KB (9,208 words) - 00:26, 26 April 2024
Retrieved from "https://wiki.archlinux.org/title/Special:Search"