ammkrn/nanoda_lib

**Summary:** Nanoda_lib is an open-source library that leverages the Lean theorem prover to implement type inference and checking functionality. It may be usefu