#version

#version コマンドは、その環境での Lean のバージョンと OS の情報を表示します。

#version