3 lines
110 B
Markdown
3 lines
110 B
Markdown
# Kinetic_Theory_of_Gases_Lean
|
|
|
|
The aim of this project is to formalize the Kinetic Theory of Gases in Lean4.
|