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

Commit

6 years ago

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

References

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

Author

khoek

khoek

Committer

cipher1024

cipher1024

Parents

Loading