at://
/
app.bsky.feed.post
/
3mnfcq4rt522h
sign in
All
4
Record
2
Post
1
PostEmbed
1
Post
by @danabra.mov
PostEmbed
by @danabra.mov
Record
by @jimpick.com
Record
by @atsui.org
+ new component
Post
Preorder here: www.quantabooks.org/books/the-pr...
12d
The inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?
www.quantabooks.org
The Proof in the Code - Quanta Books
Quanta Books
