[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/