Stream: Coq users

Topic: How to see defined Classes?


view this post on Zulip Ali Caglayan (Sep 03 2020 at 13:47):

Is there a vernacular command that prints out which definitions are classes?


Last updated: Jan 29 2023 at 04:05 UTC