research

Lean やそのライブラリの機能、構文、タクティク、コード例、仕様、背景理論を調査するときに使用する。