Algorithm

Verified efficient algorithms in Lean4.

This project is still at a very early stage.