/LeanMyLibrary

MyLibraries for Lean. Now, Support only Lean3.

Support for only Lean3

このMyLibraryパッケージはLean3用のパッケージです。