BLOCKED: refactor: reimplement initNextStep without evalTactic #219 alexkeizer wants to merge 24 commits intoleanprover/LNSym:axeffects-tracing from leanprover/LNSym:replace-init_next_step Copy head branch name to clipboard
Commits
Commits on Oct 6, 2024 Show description for d19c6e4
Show description for c498cbe
Commits on Oct 8, 2024 Show description for 7850ae0
Show description for 055809c
Show description for 55a8638
Show description for 85d5239
Show description for 139c089
Show description for 22c4c3e
Commits on Oct 9, 2024 Show description for a499a57
Show description for d11921b
Show description for ae0d779
Commits on Oct 10, 2024 Show description for 0ac14c8
Show description for 8fdbadb
Show description for 0096556
Show description for 004e068
Commits on Oct 11, 2024 Show description for 2e4d59c
Commits on Oct 13, 2024 Show description for 3b8f5f1
Commits on Oct 14, 2024 Show description for c9ca372
Show description for 807738b
Commits on Oct 16, 2024 Show description for c7829f1
Show description for a47a266
You can’t perform that action at this time.
