Comment

Comment by dangwhy

spivak calculus opened my eyes to what exactly truth is and how to prove truth by build proofs from parts.
parent dangwhy 3 years ago

Discussion

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton