Search results

Is a function physical?

Status: Open.

#12 In ewdlop/PhysicalMathematics;

· ewdlop opened on Oct 12, 2025

Vaporizing and freezing the Riemann zeta function; Riemann zeta function is thermal.

Status: Open.

#11 In ewdlop/PhysicalMathematics;

· ewdlop opened on Oct 12, 2025

https://github.com/bollu/lean-to

Status: Open.

#10 In ewdlop/PhysicalMathematics;

· ewdlop opened on Oct 12, 2025

https://github.com/utensil/lean4_jupyter

Status: Open.

#9 In ewdlop/PhysicalMathematics;

· ewdlop opened on Oct 12, 2025

LeanNotebook

Status: Open.

#7 In ewdlop/PhysicalMathematics;

· ewdlop opened on Oct 12, 2025