(Not knowledgable about formal proof systems here.) Does it have something like a "test suite" or a "build status" constantly verifying that the various claime

(Not knowledgable about formal proof systems here.) Does it have something like a "test suite" or a "build status" constantly verifying that the various claimed implications and equivalences are valid, and/or that the translations into other languages are valid?