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: Dec 20 2023 at 11:08 UTC