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: May 02 2025 at 03:31 UTC
What is the core/ directory in mathlib for? Is it stuff that goes "under" tactics?
Last updated: May 02 2025 at 03:31 UTC