Catalogue tag

#formalisation

Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.

1 record

Tagged “formalisation”Ranked by health index

PyPI

51Moderatehealth index

jtraverso/certo-math

Between having a mathematical idea and having a proof of it there is a lot of work that is not proving: find the object, break the false claims, measure what survives, reduce it to what it really is, assemble the rest. certo does that work, and every step returns a certificate anyone can re-check without trusting it. CLI + MCP.

Python★ 1↓ 3,089/moOct 9, 2026

MITOct 9, 2026 · metrics 2.10.0