April, 2024
Functions and Inductive Propositions in Lean 4
March, 2024
Working with integer sets in Lean 4
Coercing Ints to Nats for Induction in Lean 4
March, 2023
January, 2023
Induction in Lean 3: Three Techniques
December, 2022
Obtaining Multiple Solutions Z3
February, 2022
Reasoning through Loops in Dafny
Program Verification with Hoare Logic and Dafny
October, 2021
December, 2019