domains / research / mathematical-proof-writing / proof-writer

proof-writer

Skill card

authentic

The two copies are nearly identical. The wanshuiyin copy is the more complete and authoritative version because it includes an 'Optional Lean proof route' section and the corresponding 'Skill(lean-formalize)' in its allowed-tools, which the brycewang-stanford copy omits. The brycewang copy appears to be a truncated or simplified mirror of the wanshuiyin skill, lacking the formalization integration. Therefore, the wanshuiyin copy is the authentic procedure that the other reproduces (with omissions).

Repositories

Other copies