all options
bookworm  ] [  trixie  ] [  sid  ]
[ Source: coq-unimath  ]

Package: libcoq-unimath (20231010-1 and others)

Links for libcoq-unimath

Screenshot

Debian Resources:

Download Source Package coq-unimath:

Maintainers:

External Resources:

Similar packages:

univalent formalization of mathematics for Coq

This package provides a library to formalize a substantial body of mathematics using the univalent point of view.

Coq is a proof assistant for higher-order logic.

Other Packages Related to libcoq-unimath

  • depends
  • recommends
  • suggests
  • enhances

Download libcoq-unimath

Download for all available architectures
Architecture Version Package Size Installed Size Files
armhf 20231010-1+b1 41,942.2 kB403,472.0 kB [list of files]