Closed pi8027 closed 1 year ago
Showcasing the features of the tactics by restructuring and adding more comments to the example files should not be very difficult (but I'm not going to do that by myself).
Done in #89.
pi8027
commented
1 year ago
Showcasing the features of the tactics by restructuring and adding more comments to the example files should not be very difficult (but I'm not going to do that by myself).