## Learning Lean (Part 2)

In part 2 we learn how to prove our first theorems about the natural numbers in Lean.

Click to read and post commentsIn part 2 we learn how to prove our first theorems about the natural numbers in Lean.

Click to read and post commentsAn introduction to functional programming and mathematics in the dependently-typed functional programming language and theorem prover Lean 4.

Click to read and post commentsDeep Reinforcement Learning in Action is out!

posted at 02:16
by Brandon Brown
· Announcement

Click to read and post comments
I'm co-authoring a book on Deep Reinforcement Learning!

posted at 23:57
by Brandon Brown
· Announcement

Click to read and post comments
In this post we explore tensor networks, their mathematical properties, and implement a tensor network as a machine learning model for a toy problem.

Click to read and post commentsSome announcements about this blog's migration to a different static site generator as well as some new GitHub repos I've created.

posted at 19:41
by Brandon Brown
· Announcement

Click to read and post comments
Next →
Page 1 of 4