Open gleachkr opened 3 years ago
Now that we've got Rudolf merged, it'd be good to have some documenation on how to create truth tree exercises, and how to interact with them. @lf- , @mctano, either of you up for this?
Now that we've got Rudolf merged, it'd be good to have some documenation on how to create truth tree exercises, and how to interact with them. @lf- , @mctano, either of you up for this?