~/Formal Methods

Brandon Rozek

Photo of Brandon Rozek

PhD Student @ RPI studying Automated Reasoning in AI and Linux Enthusiast.

Here you'll find 8 posts about 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