Hi, does anybody have an answer for this? By the way, what I meant is using the Metamath executable..
On Friday, June 9, 2023 at 6:32:10 PM UTC+8 Humanities Clinic wrote: > Is there a way to display/list/show *only* statements and symbols of a > certain type in Metamath? eg. > only all constant symbols > only all $a > > Also: only all variables (and their typecodes) > > Lastly, > (A) Can the format of the output be changed? > (B) How does one pipe the output to a file? > -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/8592661f-892f-4fdc-b6de-8cc495f0c58en%40googlegroups.com.
