Formalizing chemical physics using the Lean theorem prover
Article in Digital Discovery (February 2024)
The most recent citing publications are shown below. View all 15 publications that cite this research output on Dimensions.
Article in Digital Discovery (February 2024)
Article in Wuhan University Journal of Natural Sciences (October 2022)
Article in Journal of Automated Reasoning (October 2022)