| Name : metamath
| |
| Version : 0.198
| Vendor : openSUSE
|
| Release : bp156.5.6
| Date : 2024-05-13 18:13:46
|
| Group : Productivity/Scientific/Math
| Source RPM : metamath-0.198-bp156.5.6.src.rpm
|
| Size : 0.87 MB
| |
| Packager : https://bugs_opensuse_org
| |
| Summary : Formal proof verifier and proof assistant
|
Description :
The Metamath language is a language to write theorems and formal proofs for
them. The Metamath program can parse files in the Metamath language and verify
the proofs. You can find examples of theories developed in Metamath on the
website.
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/openSUSE:/Backports:/SLE-15-SP6/standard/x86_64 |
