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: Jun 16 2024 at 03:41 UTC