16 lines
319 B
TOML
16 lines
319 B
TOML
|
name = "Kinetic_Theory_of_Gases_Lean"
|
||
|
|
version = "0.1.0"
|
||
|
|
keywords = ["math"]
|
||
|
|
defaultTargets = ["KineticTheoryOfGasesLean"]
|
||
|
|
|
||
|
|
[leanOptions]
|
||
|
|
pp.unicode.fun = true # pretty-prints `fun a ↦ b`
|
||
|
|
autoImplicit = false
|
||
|
|
|
||
|
|
[[require]]
|
||
|
|
name = "mathlib"
|
||
|
|
scope = "leanprover-community"
|
||
|
|
|
||
|
|
[[lean_lib]]
|
||
|
|
name = "KineticTheoryOfGasesLean"
|