Search results
- ...machine-checked proofs.|https://coq.inria.fr/|CLI: {{Pkg|coq}}, GUI: {{Pkg|coqide}}}} ...70 KB (9,368 words) - 13:16, 6 December 2024
- ...sprawdzanych maszynowo.|https://coq.inria.fr/|CLI: {{Pkg|coq}}, GUI: {{Pkg|coqide}}}} ...75 KB (10,175 words) - 07:58, 7 December 2024