Paul Butcher

A few weeks ago, I published a Lean implementation of the popular TodoMVC app.

Over the last couple of weeks, I've been working on a personal project in Lean.

A couple of weeks ago, I published Lean-ing into Software Engineering in which I hypothesized that the combination of the Lean Programming Language and AI-assisted coding meant that we were very close to the point where formal verification was realistic f…

The Lean programming language is revolutionising mathematics.

This follows on from my previous article which described how to get a simple Clojure Ring application running on AWS Lambda.

I recently found myself starting a new project and was looking for the quickest and easiest way to get something up and running.

This is part 4 of a series.

This is part 3 of a series.

This is part 2 of a series.

This is part 1 of a series.