Comment

Comment by yep31

>some introductory logic class

like forall x from openlogicproject?

parent yep31 3 years ago

Discussion

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton