Commit 2019-05-15 09:44 3022cafd
View on Github →feat(tactic/terminal_goal): determine if other goals depend on the current one (#984)
- feat(tactics): add "terminal_goal" tactic and relatives
- fix(test/tactics): renaming test functions to avoid a name collision
- fix(tactic): moving terminal_goal to tactic/basic.lean
- fix(test/tactics): open tactics
- touching a file, to prompt travis to try again
- terminal_goal
- fix
- merge