Topic
How much code must be trusted for a proof to mean anything: small proof kernels, independent re-implementations and multi-checker strategies.
No current published clusters are mapped here yet.