Giters

James-Oswald / insertion-sort

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

insertion-sortlean4sorting-algorithms

This repository is not active

About

Formal Correctness Proof of Insertion Sort in Lean4

https://jamesoswald.dev/posts/lean4-insertion-sort/

insertion-sortlean4sorting-algorithms

Languages

Language:Lean 100.0%