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: Oct 13 2024 at 01:02 UTC