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: Oct 04 2023 at 23:01 UTC