Search results

OpenPGP-card-tools
=cOQ/ ...

5 KB (695 words) - 21:30, 22 April 2024
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.) ...

33 KB (4,825 words) - 08:30, 25 April 2024
List of applications/Science
...ve development of machine-checked proofs.|https://coq.inria.fr/|CLI: {{Pkg|coq}}, GUI: {{Pkg|coqide}}}} ...

69 KB (9,208 words) - 00:26, 26 April 2024