Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
home:redwil:15.4
metamath
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
Meta Configuration of Package metamath
<package name="metamath" project="science"> <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> <person userid="aaronpuchert" role="bugowner"/> <person userid="aaronpuchert" role="maintainer"/> <build> <disable repository="SLE_11_SP4"/> <disable repository="SLE_12"/> </build> </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