undefined | Better HN

0 pointsyep312y ago0 comments

>some introductory logic class

like forall x from openlogicproject?

0 comments

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

j / k navigate · click thread line to collapse

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

j / k navigate · click thread line to collapse