Install erlang-proper-doc by entering the following commands in the terminal:
sudo apt update sudo apt install erlang-proper-doc
Description:
QuickCheck-inspired property-based testing tool for Erlang - document files
PropEr (PROPerty-based testing tool for ERlang) is a QuickCheck-inspired open-source property-based testing tool for Erlang. . This package includes erlang-proper documents.
Homepage: https://github.com/manopapad/proper
Version: 1.2+git988ea0ed9f+dfsg-1
Section: universe/doc