Zulip Chat Archive
Stream: general
Topic: local attribute [instance] classical.prop_decidable
Kenny Lau (Oct 03 2018 at 22:36):
I think it's just local attribute [instance] classical.dec now
Kenny Lau (Oct 03 2018 at 22:36):
just an announcement to the classical people here
Last updated: Dec 20 2023 at 11:08 UTC