Shadowgraph
TrendingAbout
Sign in

astrainfinita/Algorithm

Verified efficient algorithms in Lean4.

Lean

41

199 commits

updated Sep 18, 2026

astrainfinita.github.io/Algorithm

See the code

README

Algorithm

Verified efficient algorithms in Lean4.

This project is still at a very early stage.

Some comments were generated with AI assistance and reviewed by me.

algorithm
data-structure
lean
lean4

Contributors

astrainfinita

199 commits

Similar repos

codereport/Algorithms

STL Algorithm Cheat Sheet + example code from STL Algorithm Video Series.

247

foreverbell/verified

Coq formalizations and proofs of (data) structures and algorithms.

48

leanprover/cslib

The Lean Computer Science Library (CSLib)

711

34j/best-of-lean4

A list of awesome lean4 projects. Feel free to add your project.

147

leanprover/lean

Lean Theorem Prover

2,154

DamilolaAdegunwa/ai_course

2

Iannis863/AI-Academy

0

mikf/euler

Project Euler (https://projecteuler.net/)

3

Languages

Lean

99.3%

astrainfinita/Algorithm

Verified efficient algorithms in Lean4.

Lean

41

199 commits

updated Sep 18, 2026

astrainfinita.github.io/Algorithm

See the code

README

Algorithm

Verified efficient algorithms in Lean4.

This project is still at a very early stage.

Some comments were generated with AI assistance and reviewed by me.

algorithm
data-structure
lean
lean4

Similar repos

codereport/Algorithms

STL Algorithm Cheat Sheet + example code from STL Algorithm Video Series.

247

foreverbell/verified

Coq formalizations and proofs of (data) structures and algorithms.

48

leanprover/cslib

The Lean Computer Science Library (CSLib)

711

34j/best-of-lean4

A list of awesome lean4 projects. Feel free to add your project.

147

leanprover/lean

Lean Theorem Prover

2,154

DamilolaAdegunwa/ai_course

2

Iannis863/AI-Academy

0

mikf/euler

Project Euler (https://projecteuler.net/)

3

Contributors

astrainfinita

199 commits

Languages

Lean

99.3%