~/Formal Methods

March, 2023

Lean 3 Tutorial

January, 2023

Induction in Lean 3: Three Techniques

Readable Lean 3 Proofs

February, 2022

Loop Invariants

Reasoning through Loops in Dafny

Program Verification with Hoare Logic and Dafny

Dafny v3.3 Show Countermodel

October, 2021

Lean Theorem Prover Tactics