mathlib3
feat(tactic/basic): add `tactic.get_goal`
#876
Merged

feat(tactic/basic): add `tactic.get_goal` #876

cipher1024 merged 1 commit into master from get-goal
khoek
cipher1024
cipher1024 cipher1024 assigned cipher1024 cipher1024 6 years ago
khoek feat(tactic/basic): add `tactic.get_goal`
c59ec438
khoek khoek force pushed from 413ec664 to c59ec438 6 years ago
khoek
cipher1024 cipher1024 merged f1120769 into master 6 years ago
cipher1024 cipher1024 deleted the get-goal branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
Labels
Milestone