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: Dec 20 2023 at 11:08 UTC
What is the core/ directory in mathlib for? Is it stuff that goes "under" tactics?
Last updated: Dec 20 2023 at 11:08 UTC