This repository contains the source latex code for my bachelor’s thesis project in the Faculty of Mathematics and Computer Science at FernUni. The project aims to provide an introduction to formal ...

This repository is an introduction to theorem proving in Lean for the impatient. The goal is to get a feel for what proving in Lean looks like in 2 or 3 hours, or maybe devote half a day or a full day ...

This course presents a brief history of Lean and an introduction to Lean concepts, such as the 5 Lean principles, defining value-added activities, the “8 forms of waste” and a Kaizen simulation. “The ...

Based on the message of Dr. W. Edwards Deming, this class will introduce the four elements of his System of Profound Knowledge (SoPK). They include Appreciation for a System, Knowledge of Variation, ...