Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help |
The search service can find package by either name (apache), provides(webserver), absolute file names (/usr/bin/apache), binaries (gprof) or shared libraries (libXm.so.2) in standard path. It does not support multiple arguments yet...
The System and Arch are optional added filters, for example System could be "redhat", "redhat-7.2", "mandrake" or "gnome", Arch could be "i386" or "src", etc. depending on your system.
This package contains Metamath data base files for several formal theories. * set.mm – Logic and set theory database (see Ch. 3 of the Metamath book). * nf.mm – Logic and set theory database for Quine's New Foundations set theory. * hol.mm – Higher order logic (simple type theory) database. * iset.mm – Intuitionistic logic database. * ql.mm – Quantum logic database. * demo0.mm – Demo of simple formal system (see Ch. 2 of the Metamath book). * miu.mm – Hofstadter's MIU-system (see Appendix D of the Metamath book). * big-unifier.mm – A unification stress test (see comments in the file). * peano.mm – A presentation of Peano arithmetic by Robert Solovay.
Package | Summary | Distribution | Download |
metamath-data-0.196-bp153.2.1.noarch.html | Data base files for metamath | OpenSuSE Leap 15.3 for noarch | metamath-data-0.196-bp153.2.1.noarch.rpm |
metamath-data-0.180-lp152.1.29.noarch.html | Data base files for metamath | OpenSuSE Leap 15.2 for noarch | metamath-data-0.180-lp152.1.29.noarch.rpm |
Generated by rpm2html 1.6