Commit 2023-02-13 05:05 4f818d25
View on Github →feat: port continuity tactic (#2145) We implement the continuity tactic using aesop, this makes it more robust and reduces the code to trivial macros.
feat: port continuity tactic (#2145) We implement the continuity tactic using aesop, this makes it more robust and reduces the code to trivial macros.