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?")

Last updated: Oct 16 2021 at 02:03 UTC