Formal Methods

Brandon Rozek

Photo of Brandon Rozek

Software Developer, Researcher, and Linux Enthusiast.

Tags

October, 2021

Lean Theorem Prover Tactics