Skip to content
Sections
>> Trisquel >> Packages >> aramo >> ocaml >> libcoq-mathcomp-analysis
aramo  ]
[ Source: mathcomp-analysis  ]

Package: libcoq-mathcomp-analysis (0.3.13-1)

analysis extension for Mathematical Components

This package provides an extension for classical analysis for the Mathematical Components library.

The Mathematical Components library is a coherent repository of general-purpose formalized mathematical theories for the Coq proof assistant.

Other Packages Related to libcoq-mathcomp-analysis

  • depends
  • recommends
  • suggests
  • dep: coq
    proof assistant for higher-order logic (toplevel and compiler)
  • dep: libcoq-mathcomp-ssreflect
    Mathematical Components library for Coq (small scale reflection)

Download libcoq-mathcomp-analysis

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 6,329.5 kB22096 kB [list of files]