# Kinetic_Theory_of_Gases_Lean

The aim of this project is to formalize the Kinetic Theory of Gases in Lean4.