In this Github repository, I'm documenting my journey to write a self-compiling compiler for a subset of the C language. I'm also writing out the details so that, if you want to follow along, there ...

In this course, we will learn how to work with the Lean 4 language. Please note that Lean 3 is very different. Learning goals: Learn to read and write code in a functional style. Learn to work with ...