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 ...

To join our hands-on sessions, please install K and Kontrol prior to attending them as it may take some time ranging from 15 minutes to an hour to get it fully ...