--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2016-538745655f
2016-09-30 12:35:40.486004
--------------------------------------------------------------------------------
Name : metamath
Product : Fedora 24
Version : 0.135
Release : 1.fc24
URL :
http://us.metamath.org/
Summary : Construct mathematics from basic axioms
Description :
Metamath is a tiny language that can express theorems in abstract
mathematics, accompanied by proofs that can be verified by a computer
program. Metamath lets you see mathematics developed in complete detail
from first principles, with absolute rigor.
--------------------------------------------------------------------------------
Update Information:
This update moves several theorems from JB's and SR's mathboxes to the main part
of set.mm, and adds an EXPAND command to the prover.
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1377308 - metamath-0.135 is available
https://bugzilla.redhat.com/show_bug.cgi?id=1377308
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update metamath' at the command line.
For more information, refer to "Managing Software with yum",
available at
https://docs.fedoraproject.org/yum/.
All packages are signed with the Fedora Project GPG key. More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------