Zulip Chat Archive
Stream: mathlib4
Topic: Case sensitivity in imports
Matthew Ballard (Jun 27 2024 at 10:02):
Should this work?
import Mathlib.Tactic.Normnum
#check norm_num
Eric Wieser (Jun 27 2024 at 10:05):
Are you on windows?
Matthew Ballard (Jun 27 2024 at 10:05):
MacOS
Sebastian Ullrich (Jun 27 2024 at 10:05):
Last updated: Dec 20 2025 at 21:32 UTC