Explores fracture mechanics, crack growth, and the weakest link theory, emphasizing the statistical distribution of crack sizes and the significance of the largest crack in material failure.
Covers the proof of the Bourgain's ARV Theorem, focusing on the finite set of points in a semi-metric space and the application of the ARV algorithm to find the sparsest cut in a graph.
Covers inductive propositions in Coq, focusing on evaluation rules for arithmetic expressions and their applications in defining partial and non-deterministic functions.
