The Math Is Haunted

Leanの味わいを紹介する記事です。数学の証明支援システムLeanを通じて、数学の世界に潜む驚きや不思議な感覚を体験することができます。