© 2022. All rights reserved. Built on 2022-11-21 19:44:26 -0600.
Abstract. We give an overview of the K framework, following the lecture notes presented by the author at the Marktoberdorf Summer School in year 2016.