PhD Student @ RPI studying Automated Reasoning in AI and Linux Enthusiast.
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