Select - Your Community
Select
Get Mobile App

Stream of Goodies

avatar

Hacker News: Front Page

shared a link post in group #Stream of Goodies

emallson.net

A Beginner's Companion to Theorem Proving in Lean 4 | Blog | emallson.net

A Beginner's Companion to Theorem Proving in Lean 4 Written by J. David Smith Published on 27 December 2023 This year, one of my hobby projects has been implementing some basic properties and conver

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="dbbpkoz" [...] </div>
A group of likeminded people in Stream of Goodies are talking about this.