Stream: Coq users

Topic: Semantics of About vs Print


view this post on Zulip Ali Caglayan (Aug 04 2021 at 10:28):

Is it expected that About foo. doesn't fail? This was surprising to me given that Print foo. does. (foo doesn't exist)


Last updated: Jan 31 2023 at 14:03 UTC