LeanLJ

LeanLJ is a project that aims to bring mathematical accuracy and reliability to molecular simulations by formalizing molecular dynamics and Monte Carlo simulations. It ensures that every calculation is grounded in proven mathematics, reducing the risk of errors and enhancing the trustworthiness of simulation results.