search

HOL-Theorem-Prover / HOL

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
https://hol-theorem-prover.org
Other
630 stars 142 forks source link

print type without colon #1344

Closed digama0 closed 1 week ago

digama0 commented 1 week ago

Like pp_type but without the initial colon. I wanted to add a space between the colon and the type.

mn200 commented 1 week ago

Nice idea.