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.