r-irbe/proof-skills/applied-legal-reasoningskill versions