r-irbe/proof-skills/applied-strategy-analysisskill versions