Hello dear @lemouth, I totally agree with your appreciation as for example what you very well express:

In fact, there are many widely used educational methods (such as those belonging to the active learning class) that are quite far from standard formal methods, but cannot be classified as informal as well.

Thanks as always for your apt comment and for your nice visit to my blog. Regards.