---
Type: desktop-application
ID: rocqide.desktop
Package: rocqide
Name:
C: RocqIDE Proof Assistant
Summary:
C: Graphical interface for the Rocq theorem prover
Description:
C: >-
<p>Rocq is a theorem prover for higher-order logic, which allows the development of computer programs consistent with their formal specification.
It is developed using Objective Caml and Camlp5. This package provides RocqIde, a graphical user interface for developing proofs.</p>
en: >-
<p>Rocq is a theorem prover for higher-order logic, which allows the development of computer programs consistent with their formal specification.
It is developed using Objective Caml and Camlp5. This package provides RocqIde, a graphical user interface for developing proofs.</p>
Categories:
- Development
- Science
- Math
- IDE
Keywords:
C:
- Science
- Math
Icon:
cached:
- name: rocqide_coq.png
width: 64
height: 64
stock: coq
Launchable:
desktop-id:
- rocqide.desktop
