10 ms·
>some introductory logic class like forall x from openlogicproject?
by yep31 3y ago
>some introductory logic class
like forall x from openlogicproject?
- cubefox 3y agoYes! It looks like a great introduction. Perhaps even better than the Lean course mentioned above. Here is the link: https://forallx.openlogicproject.org/ https://forallx.openlogicproject.org/