@misc{indiciaea1fd1864b2ec,
  title = {A Novice-Friendly Induction Tactic for Lean},
  author = {Jannis Limperg},
  year = {2020},
  url = {https://arxiv.org/abs/2012.08990},
  note = {Source identifier: 2012.08990}
}