Open source repositories tagged with #theorem-atlas, ranked by health score.
💎 Native compiler with atlas-bound theorems — 8 strict-lint stages · citation-enforced · no LLVM · no C-transpile
