To run this code follow the link below. https://leanprover-community.github.io/install/project.html
If you want to use this code as a dependency for your own Lean4
projects I will have to run lake build on it in the future.
But as of date since this project is still a WIP.