Lean Extras
This repository contains some additional Lean code which may be useful. I created it primarily so that I can use it as a dependency in some of my own projects.
This repository contains some additional Lean code which may be useful. I created it primarily so that I can use it as a dependency in some of my own projects.