Unable to use induction
Closed this issue · 1 comments
mynameismon commented
While on Addition: zero_add, I am unable to use the following rule to proceed: induction n with d hd.
Error:
The tactic 'induction' is not available in this game!
joneugster commented
Has been fixed today 👍