Issue with Induction in Level 1/5 in Addition World for Natural Number Game
0Lauren0 opened this issue · 1 comments
0Lauren0 commented
When I input "induction n with d hd" like it says in the hints I get the message "The tactic 'induction' is not available in this game." Is this an error in the system or am I doing something wrong?
joneugster commented
I'm pretty sure that has been fixed today or yesterday. Maybe reload your browser window?