James Oswald
About
Blog
Profiles
Contact
Tag: Algorithms
February 18, 2024
Proving the Correctness of Insertion Sort in Lean4