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: Jun 23 2024 at 23:01 UTC