Name : metamath-data
| |
Version : 0.180
| Vendor : openSUSE
|
Release : lp152.1.1
| Date : 2020-02-16 20:45:19
|
Group : Productivity/Scientific/Math
| Source RPM : metamath-0.180-lp152.1.1.src.rpm
|
Size : 35.61 MB
| |
Packager : https://bugs_opensuse_org
| |
Summary : Data base files for metamath
|
Description :
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.
|
RPM found in directory: /vol/rzm3/linux-opensuse/ports/armv7hl/distribution/leap/15.2/repo/oss/noarch |