Comment

Comment by fgh

Does this include the full machinery to prove the necessary theorems or are these basically practical courses?
parent fgh 4 years ago

Discussion

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton