Stream: Coq users

Topic: Print Assumptions


view this post on Zulip Bas Spitters (Mar 08 2021 at 09:12):

Is there a way for Print Assumptions to say which Lemma brought in an Axiom?


Last updated: Sep 30 2023 at 05:01 UTC