| Name : metamath-data
| |
| Version : 0.171
| Vendor : obs://build_opensuse_org/home:aaronpuchert
|
| Release : 1.2
| Date : 2019-02-09 00:43:15
|
| Group : Productivity/Scientific/Math
| Source RPM : metamath-0.171-1.2.src.rpm
|
| Size : 32.73 MB
| |
| Packager : (none)
| |
| 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: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/home:/aaronpuchert/openSUSE_Factory_ARM/noarch |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
metamath-data
Requires :
