Lean_theorems

Leanでいろんな定理を証明してみた。 DLしてライブラリとしてお使いください。