[yep31]

>some introductory logic class

like forall x from openlogicproject?

[cubefox]

Yes! It looks like a great introduction. Perhaps even better than the Lean course mentioned above. Here is the link:

https://forallx.openlogicproject.org/