Search results

OpenPGP-card-tools
=cOQ/ ...

5 KB (649 words) - 14:10, 25 November 2023
Arch is the best
;Gallina: The specification language of Coq, an interactive theorem prover. ;LTac: The tactic language of Coq, an interactive theorem prover. (Inside of a trivial proof.) ...

30 KB (4,467 words) - 09:08, 24 September 2023
List of applications/Science
...ve development of machine-checked proofs.|https://coq.inria.fr/|CLI: {{Pkg|coq}}, GUI: {{Pkg|coqide}}}} ...

70 KB (9,283 words) - 07:20, 19 November 2023