This repository contains the demonstration code and presenter notes for the PLDI 2023 tutorial session "From Zero To Proving: Building Your First Language with the K Framework". It is intended ...

This tutorial assumes you have some beginner programming knowledge, and a basic understanding of what arrays are. Most chapters will have Vocabulary and Exercise sections at the end. I suggest getting ...