coq-serapi
interaction with Coq (utils)
Command lineDevelopment
Not tested on a device yet. What that means
Commands in the package
sercompsernamesertoksertop
About coq-serapi
From Debian's package description
SerAPI provides a library for machine-to-machine interaction with Coq with particular emphasis on integrated development environments, code analysis tools and machine learning.
Coq is a proof assistant for higher-order logic.
This package provides utilities to work with the serapi plugin.
From Debian's description of the coq-serapi package, under that package's license.
Dependencies
Depends on
libc6libgmp10
Related apps
- qtdbustest-runnerLibrary for testing DBus interactions using Qt (test runner executable)Command line
- sepiaSimple Emacs-Perl InterActionCommand line
Proof GeneralOrganise your proofs!- CoqIDE Proof AssistantGraphical interface for the Coq proof assistant
- coqprime-toolsPrimality certification for Coq (tools)Command line
- debian-coq-toolsvarious tools to manage Coq-related Debian packagesCommand line
Sources and licenses
- Name: the Debian package name.
- Summary: Debian's short description of the coq-serapi package, under that package's license.
- Description: Debian's description of the coq-serapi package, under that package's license.
- Versions and sizes: Debian's archive for ARM64, as on packages.debian.org.
- Popularity: Debian Popularity Contest counts.
More in About the catalog.