Zulip Chat Archive
Stream: general
Topic: monotonity
Patrick Massot (Sep 10 2018 at 19:11):
@Simon Hudon What happened to the monotonicity PR? I just tried to import that tactic and realized it's not yet merged
Simon Hudon (Sep 10 2018 at 19:15):
It is in the nursery
Last updated: Dec 20 2023 at 11:08 UTC