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: Feb 28 2026 at 14:05 UTC