Methods note presents a comparator-certified working corpus with paired Lean evidence, highlighting formal verification workflows.
Comparator-certified working-corpus methods note. This public working-corpus release includes the reviewed manuscript and paired Lean evidence. It is not peer reviewed or empirically validated; significance and novelty have not been independently established.
No takes yet. Share an insight, caveat, or question.
Justin Hart (2026) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: