GitHub repository: ATOMSLab/LeanMD
Primary language: Lean
Created: 2024-08-20T16:21:37Z
Description: Molecular Dynamics in Lean