Select - Your Community
Select
Get Mobile App

Stream of Goodies

avatar

Hacker News: Front Page

shared a link post in group #Stream of Goodies

hrmacbeth.github.io

The Mechanics of Proof — The Mechanics of Proof, by Heather Macbeth

The Mechanics of Proof This is a book dealing with how to write careful, rigorous mathematical proofs. The book is paired with code in the computer formalization language Lean. Head over to the asso

Comment here to discuss with all recipients or tap a user's profile image to discuss privately.

Embed post to a webpage :
<div data-postid="ywxpyrg" [...] </div>
A group of likeminded people in Stream of Goodies are talking about this.