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: May 02 2025 at 03:31 UTC