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: Jan 29 2023 at 04:05 UTC