Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
openSUSE:Backports:SLE-15-SP5
metamath
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
Meta Configuration of Package metamath
<package name="metamath" project="openSUSE:Backports:SLE-15-SP5"> <title>Metamath formal proof verifier and proof assistant</title> <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.</description> </package>
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor