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