Blog

In this tutorial we learn how to install libcoq-mathcomp-finmap on Ubuntu. libcoq-mathcomp-finmap is finite sets and maps extension for Mathematical Components

In this tutorial we learn how to install libcoq-mathcomp-fingroup on Ubuntu. libcoq-mathcomp-fingroup is Mathematical Components library for Coq (finite groups)

In this tutorial we learn how to install libcoq-mathcomp-field on Ubuntu. libcoq-mathcomp-field is Mathematical Components library for Coq (field)

In this tutorial we learn how to install libcoq-mathcomp-character on Ubuntu. libcoq-mathcomp-character is Mathematical Components library for Coq (character)

In this tutorial we learn how to install libcoq-mathcomp-bigenough on Ubuntu. libcoq-mathcomp-bigenough is epsilon - N reasoning for Mathematical Components

In this tutorial we learn how to install libcoq-mathcomp-analysis on Ubuntu. libcoq-mathcomp-analysis is analysis extension for Mathematical Components

In this tutorial we learn how to install libcoq-mathcomp-algebra on Ubuntu. libcoq-mathcomp-algebra is Mathematical Components library for Coq (algebra)

In this tutorial we learn how to install libcoq-mathcomp on Ubuntu. libcoq-mathcomp is Mathematical Components library for Coq (all)

In this tutorial we learn how to install libcoq-hierarchy-builder on Ubuntu. libcoq-hierarchy-builder is build hierarchies of algebraic structures in Coq (runtime files)

In this tutorial we learn how to install libcoq-elpi-ocaml-dev on Ubuntu. libcoq-elpi-ocaml-dev is Coq plugin embedding Elpi (devel)

In this tutorial we learn how to install libcoq-elpi-ocaml on Ubuntu. libcoq-elpi-ocaml is Coq plugin embedding Elpi (runtime)

In this tutorial we learn how to install libcoq-core-ocaml-dev on Ubuntu. libcoq-core-ocaml-dev is development libraries and tools for Coq