How to Install and Uninstall metamath-book Package on openSuSE Tumbleweed
Last updated: December 25,2024
Deprecated! Installation of this package may no longer be supported.
1. Install "metamath-book" package
Here is a brief guide to show you how to install metamath-book on openSuSE Tumbleweed
$
sudo zypper refresh
Copied
$
sudo zypper install
metamath-book
Copied
2. Uninstall "metamath-book" package
Please follow the steps below to uninstall metamath-book on openSuSE Tumbleweed:
$
sudo zypper remove
metamath-book
Copied
3. Information about the metamath-book package on openSuSE Tumbleweed
Information for package metamath-book:
--------------------------------------
Repository : openSUSE-Tumbleweed-Oss
Name : metamath-book
Version : 20190602-5.5
Arch : noarch
Vendor : openSUSE
Installed Size : 1,0 MiB
Installed : No
Status : not installed
Source package : metamath-0.196-5.5.src
Summary : The Metamath book
Description :
The Metamath book, written by Norman Megill with extensive revisions by
David A. Wheeler, provides an in-depth understanding of the Metamath language
and program. The first part of the book also includes an easy-to-read informal
discussion of abstract mathematics and computers, with references to other
proof verifiers and automated theorem provers.
--------------------------------------
Repository : openSUSE-Tumbleweed-Oss
Name : metamath-book
Version : 20190602-5.5
Arch : noarch
Vendor : openSUSE
Installed Size : 1,0 MiB
Installed : No
Status : not installed
Source package : metamath-0.196-5.5.src
Summary : The Metamath book
Description :
The Metamath book, written by Norman Megill with extensive revisions by
David A. Wheeler, provides an in-depth understanding of the Metamath language
and program. The first part of the book also includes an easy-to-read informal
discussion of abstract mathematics and computers, with references to other
proof verifiers and automated theorem provers.