Stream: Coq devs & plugin devs

Topic: Performance Puzzles


view this post on Zulip Jason Gross (May 11 2020 at 03:04):

@Pierre-Marie P├ędrot I have a new performance puzzle for you. (The question is roughly: "what performance-relevant side-effects of tactics are reset by Undo but not by backtracking in the tactic monad?") https://github.com/coq/coq/issues/12299


Last updated: Oct 16 2021 at 02:03 UTC