Stream: Coq users

Topic: Semantics of About vs Print

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: Sep 26 2023 at 13:01 UTC