minlog command not found

Introduction

When you run more command in linux terminal / console, you get the following error message

minlog: command not found

or when using sudo you get the following error message

sudo: minlog: command not found

Solutions to minlog: command not found

How To Fix minlog: command not found in Ubuntu / Debian / Kali Linux / Raspbian

In Ubuntu minlog is provided by minlog package.

minlog is:

intended to reason about computable functionals, using minimal rather than classical or intuitionistic logic. The main motivation behind MINLOG is to exploit the proofs-as-programs paradigm for program development and program verification. Proofs are in fact treated as first class objects which can be normalized. If a formula is existential then its proof can be used for reading off an instance of it, or changed appropriately for program development by proof transformation. To this end MINLOG is equipped with tools to extract functional programs directly from proof terms. This also applies to non-constructive proofs, using a refined A-translation. The system is supported by automatic proof search and normalization by evaluation as an efficient term rewriting device.

Minlog can be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral-minlog package to be installed.

To fix this problem, we can install more using the command below.

sudo apt-get -y install minlog

This command might take some time to finish depending on your machine internet connection.

You can also use apt command to install minlog.

sudo apt -y install minlog

Or if you have aptitude installed you can use the following command.

sudo aptitude install minlog

Summary

In this tutorial we learn how to fix minlog command not found error in Ubuntu / Debian / Kali Linux or Raspbian distribution.