About
Blog
Profiles
Contact

Tag: Formal Methods

March 18, 2024 Golfing Rozek's Lean4 Tutorial
February 18, 2024 Proving the Correctness of Insertion Sort in Lean4

© 2022 - 2024 James Oswald · Powered by Hugo & modified Coder Theme.