How To Install why3-proofgeneral on Fedora 36

In this tutorial we learn how to install why3-proofgeneral in Fedora 36. why3-proofgeneral is Why3 integration with ProofGeneral

Introduction

In this tutorial we learn how to install why3-proofgeneral on Fedora 36.

What is `why3-proofgeneral`

This package provides a why3 plugin for ProofGeneral.

We can use yum or dnf to install why3-proofgeneral on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install why3-proofgeneral.

Install why3-proofgeneral on Fedora 36 Using dnf

Update yum database with dnf using the following command.

sudo dnf makecache --refresh

After updating yum database, We can install why3-proofgeneral using dnf by running the following command:

sudo dnf -y install why3-proofgeneral

Install why3-proofgeneral on Fedora 36 Using yum

Update yum database with yum using the following command.

sudo yum makecache --refresh

After updating yum database, We can install why3-proofgeneral using yum by running the following command:

sudo yum -y install why3-proofgeneral

How To Uninstall why3-proofgeneral on Fedora 36

To uninstall only the why3-proofgeneral package we can use the following command:

sudo dnf remove why3-proofgeneral

why3-proofgeneral Package Contents on Fedora 36

/usr/share/doc/why3-proofgeneral
/usr/share/doc/why3-proofgeneral/README
/usr/share/emacs/site-lisp/whyitp.el
/usr/share/emacs/site-lisp/whyitp.elc

References

why3-proofgeneral website

Summary

In this tutorial we learn how to install why3-proofgeneral on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).