Two engineered interfaces → measurable carrier transport → 30.57% certified efficiency.
We’re formalizing quantitative perovskite specifications in Lean: labreports.app/perovskite. Which interface–transport relation would be most useful to specify next?
labreports.app
Coherence and Relaxation Specify Photon Indistinguishability | Lab Report
A papers-and-slides-based lab report on coherence, stochastic relaxation, photon indistinguishability, and the Lean formalization in lean-perovskite.