DibyashanuPati/Kinetic_Theory_of_Gases_Lean
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
Formalizing the kinetic theory of Gases in Lean4
1 commit 1 branch 0 tags 29 KiB
Find a file
Exact
Dibyashanu Pati 12b397590b initial commit
2025-04-02 04:06:06 +05:30
.github/workflows initial commit 2025-04-02 04:06:06 +05:30
KineticTheoryOfGasesLean initial commit 2025-04-02 04:06:06 +05:30
.gitignore initial commit 2025-04-02 04:06:06 +05:30
KineticTheoryOfGasesLean.lean initial commit 2025-04-02 04:06:06 +05:30
lakefile.toml initial commit 2025-04-02 04:06:06 +05:30
lean-toolchain initial commit 2025-04-02 04:06:06 +05:30
README.md initial commit 2025-04-02 04:06:06 +05:30

README.md

Kinetic_Theory_of_Gases_Lean

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