Zulip Chat Archive
Stream: general
Topic: core
Reid Barton (Oct 24 2018 at 18:55):
What is the core/ directory in mathlib for? Is it stuff that goes "under" tactics?
Last updated: Feb 28 2026 at 14:05 UTC
What is the core/ directory in mathlib for? Is it stuff that goes "under" tactics?
Last updated: Feb 28 2026 at 14:05 UTC