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

From the buildings we work in, the data centers we depend on, and especially in the machines we design, we inevitably rely on bolted joint connections. Unfortunately, due to the perceived simplicity ...