https://www.youtube.com/watch?v=ArGLTAjak3g YouTubeでLeanの動画があるのだけれど、 結構すごそうなので、自分でもやってみたいと思った。 拡張ライブラリmathlibを使う。 Coqに対するSSReflectのような物か。 インストール https://leanprover-community…