Zulip Chat Archive
Stream: new members
Topic: set_option pp.proofs true
Kenny Lau (Jun 07 2019 at 09:09):
why does set_option pp.proofs true do anything at all if originally it is already true to begin with?
Last updated: May 02 2025 at 03:31 UTC