metamath

metamath

Formal proof verifier and proof assistant

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.

Es ist kein offizielles Paket für openSUSE Leap 16.0 verfügbar

Distributionen

openSUSE Tumbleweed

Offizielle Veröffentlichung Offiziell
0.198
Expert Download

openSUSE Leap 16.0

openSUSE Leap 15.6

SLFO 1.2

openSUSE Backports for SLE 15 SP7

Nicht unterstützte Distributionen

Die folgenden Distributionen werden offiziell nicht unterstützt. Benutzen Sie diese Pakete auf eigene Gefahr.