Formal Correctness Proof of Insertion Sort in Lean4
Home Page:https://jamesoswald.dev/posts/lean4-insertion-sort/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
https://jamesoswald.dev/posts/lean4-insertion-sort/