Lean Research Types

REDIRECT — the typed research protocols (M/T/L/S/D/X/E) previously hosted here have been folded into `lean-research` Part 9. This stub preserves the slug for Ctrl-F discoverability and incoming cross-references (per the zero-deletions Chesterton protocol).

r-irbe ac145da 1.6 KB Updated

File contents

r-irbe/proof-skills/tree/main/skills/lean-research-types commit ac145dacf2

Frequently asked questions

npx skillmds@latest add r-irbe/lean-research-types