March, 2023
January, 2023
Induction in Lean 3: Three Techniques
February, 2022
Reasoning through Loops in Dafny
Program Verification with Hoare Logic and Dafny
October, 2021
March, 2023
January, 2023
Induction in Lean 3: Three Techniques
February, 2022
Reasoning through Loops in Dafny
Program Verification with Hoare Logic and Dafny
October, 2021