コラッツ予想がとけたらいいな2

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