Install libssreflect-ocaml by entering the following commands in the terminal:
sudo apt update sudo apt install libssreflect-ocaml
Description:
small scale reflection extension for Coq (plugin)
This package is part of Ssreflect, the small scale reflection extension for Coq. It provides a new tactic language, which promotes more structured, concise and robust proof scripts, and is in fact independent from the "reflection" proof style. It is implemented as a linkable extension to the Coq system.
Homepage: https://math-comp.github.io/math-comp/
Version: 1.6.1-3build1
Section: universe/ocaml