FloatingPragma

Recherche ouverte sur la cohérence des observateurs finis en physique : théorèmes et lemmes vérifiés par Lean, simulations reproductibles, contre-modèles explicites et ponts physiques ouverts clairement suivis.