GUFT Notes I went to a talk on GUFT a few weeks ago, I meant to post my notes online.. Here they are, a little late… 🙂 The talk was given by Zach Welch, the infamous Gentoo fork’er. GUFT is a component of the Open Lean project. He’s making the

Read More »

Projects

Categories
Archives