Stream: Coq users

Topic: How to see defined Classes?

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