Free Energy Fβ
computing...
Von Neumann SvN
computing...
QuantumPartitionBridge.free_energy_legendre
◎ static lac operon
Entropy SvN
0.000 bits
entropy_eq · QuantumPartitionBridge.lean
φ = (1+√5)/2 = 1.6180339887
| φ² = φ+1 | φ⁻¹+φ⁻² = 1
· phi_sq_eq_phi_add_one
WORM
initializing...
chain: 0
11 theorems live · 0 pending
[1/2/3] inject X error [0] clear [R] quantum refresh
click any element → theorem proof