GitHub repository: ATOMSLab/LeanLJ
Primary language: Lean
Description: Lennard Jones in Lean