alla flaggor
bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Källkod: coq  ]

Paket: coqide (8.16.1+dfsg-1 och andra)

Länkar för coqide

Screenshot

Debianresurser:

Hämta källkodspaketet coq:

Ansvariga:

Externa resurser:

Liknande paket:

proof assistant for higher-order logic (gtk interface)

Coq is a proof assistant 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 CoqIde, a graphical user interface for developing proofs.

Märken: Software Development: IDE, Field: Matematik, Implemented in: implemented-in::ocaml, interface::graphical, User Interface: X Window System, Role: role::program, scope::application, Interface Toolkit: GTK, Ncurses TUI, Purpose: use::checking, x11::application

Andra paket besläktade med coqide

  • beror
  • rekommenderar
  • föreslår
  • enhances

Hämta coqide

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Version Paketstorlek Installerad storlek Filer
amd64 8.16.1+dfsg-1+b2 1.946,7 kbyte9.846,0 kbyte [filförteckning]
arm64 8.16.1+dfsg-1+b2 2.256,6 kbyte11.358,0 kbyte [filförteckning]
armhf 8.16.1+dfsg-1+b2 1.791,7 kbyte6.582,0 kbyte [filförteckning]
i386 8.16.1+dfsg-1+b2 1.763,9 kbyte7.580,0 kbyte [filförteckning]
ppc64el 8.16.1+dfsg-1+b2 2.027,9 kbyte10.654,0 kbyte [filförteckning]
s390x 8.16.1+dfsg-1+b2 1.933,5 kbyte10.669,0 kbyte [filförteckning]