libcoq-coquelicot 3.2.0-2 (riscv64 binary) in ubuntu kinetic

 This package provides a formalization of real analysis compatible
 with the Coq standard library.
 .
 Coq is a proof assistant for higher-order logic.

Details

Package version:
3.2.0-2
Source:
coquelicot 3.2.0-2 source package in Ubuntu
Status:
Superseded
Component:
universe
Priority:
Optional

Package relationships

Depends on: