PhD Student @ RPI studying Automated Reasoning in AI and Linux Enthusiast.
Lean 3 Tutorial
Induction in Lean 3: Three Techniques
Readable Lean 3 Proofs
Reasoning through Loops in Dafny
Program Verification with Hoare Logic and Dafny
Dafny v3.3 Show Countermodel
Lean Theorem Prover Tactics