asymmetric-tensor good first issues (Lean)

Narrow the universal no-go claims to the assumptions actually analyzed 5 days ago

bug help wanted area:paper priority:P2

0

Lean 4 formalization of the asymmetric metric-tensor and the thermodynamic equation of state, by Binyamin Tsadik Bair-Mosheh

Lean

Connect optical distance to the refractive-index integral 5 days ago

enhancement help wanted area:lean research priority:P2

lilalittle/asymmetric-tensor

0

Lean 4 formalization of the asymmetric metric-tensor and the thermodynamic equation of state, by Binyamin Tsadik Bair-Mosheh

Lean

Use base-10 logarithms in the distance-modulus theorem 5 days ago

bug help wanted good first issue area:lean priority:P1

lilalittle/asymmetric-tensor

0

Lean 4 formalization of the asymmetric metric-tensor and the thermodynamic equation of state, by Binyamin Tsadik Bair-Mosheh

Lean

Derive the galactic coupling that is currently assumed by the BTFR theorem 5 days ago

enhancement help wanted area:lean area:paper research priority:P1

lilalittle/asymmetric-tensor

0

Lean 4 formalization of the asymmetric metric-tensor and the thermodynamic equation of state, by Binyamin Tsadik Bair-Mosheh

Lean

Reconcile the cosmological ansatz with the stated finite horizon boundary 5 days ago

bug help wanted area:paper priority:P1

lilalittle/asymmetric-tensor

0

Lean 4 formalization of the asymmetric metric-tensor and the thermodynamic equation of state, by Binyamin Tsadik Bair-Mosheh

Lean

Close the mass and pressure-budget argument with an actual energy definition 5 days ago

enhancement help wanted area:lean area:paper research priority:P1

lilalittle/asymmetric-tensor

0

Lean 4 formalization of the asymmetric metric-tensor and the thermodynamic equation of state, by Binyamin Tsadik Bair-Mosheh

Lean

Do not infer finite volume preservation from an antisymmetric trace 5 days ago

bug help wanted area:paper priority:P1

lilalittle/asymmetric-tensor

0

Lean 4 formalization of the asymmetric metric-tensor and the thermodynamic equation of state, by Binyamin Tsadik Bair-Mosheh

Lean

Compute full-matrix spectra and restrict the Schwinger eigenvalue claim 5 days ago

bug help wanted area:lean area:paper priority:P1

lilalittle/asymmetric-tensor

0

Lean 4 formalization of the asymmetric metric-tensor and the thermodynamic equation of state, by Binyamin Tsadik Bair-Mosheh

Lean

Formalize exterior calculus and Maxwell closure before claiming wave derivation 5 days ago

enhancement help wanted area:lean area:paper research priority:P2

lilalittle/asymmetric-tensor

0

Lean 4 formalization of the asymmetric metric-tensor and the thermodynamic equation of state, by Binyamin Tsadik Bair-Mosheh

Lean

Connect the geometric identities to the manuscript's actual momentum PDE 5 days ago

enhancement help wanted area:lean research priority:P1

lilalittle/asymmetric-tensor

0

Lean 4 formalization of the asymmetric metric-tensor and the thermodynamic equation of state, by Binyamin Tsadik Bair-Mosheh

Lean

Prove the action variation and the claimed regularization, not only rescaling 5 days ago

enhancement help wanted area:lean area:paper research priority:P1

lilalittle/asymmetric-tensor

0

Lean 4 formalization of the asymmetric metric-tensor and the thermodynamic equation of state, by Binyamin Tsadik Bair-Mosheh

Lean

Supply the missing inference from strain conservation to Einstein curvature 5 days ago

enhancement help wanted area:lean area:paper research priority:P1

lilalittle/asymmetric-tensor

0

Lean 4 formalization of the asymmetric metric-tensor and the thermodynamic equation of state, by Binyamin Tsadik Bair-Mosheh

Lean

Replace symmetrization with an actual coarse-graining model 5 days ago

bug help wanted area:lean area:paper priority:P1

lilalittle/asymmetric-tensor

0

Lean 4 formalization of the asymmetric metric-tensor and the thermodynamic equation of state, by Binyamin Tsadik Bair-Mosheh

Lean

Define the covariant field model and connection behind the coordinate matrix 5 days ago

enhancement help wanted area:lean research priority:P1

lilalittle/asymmetric-tensor

0

Lean 4 formalization of the asymmetric metric-tensor and the thermodynamic equation of state, by Binyamin Tsadik Bair-Mosheh

Lean

Separate singular limits from Lean's totalized division at saturation 5 days ago

bug help wanted area:lean area:paper priority:P1

lilalittle/asymmetric-tensor

0

Lean 4 formalization of the asymmetric metric-tensor and the thermodynamic equation of state, by Binyamin Tsadik Bair-Mosheh

Lean

Restore operator-derived boost and regularity bridges 5 days ago

bug help wanted area:lean priority:P1

lilalittle/asymmetric-tensor

0

Lean 4 formalization of the asymmetric metric-tensor and the thermodynamic equation of state, by Binyamin Tsadik Bair-Mosheh

Lean

Use the Lorentzian contraction for the physical action 5 days ago

bug help wanted area:lean priority:P1

lilalittle/asymmetric-tensor

0

Lean 4 formalization of the asymmetric metric-tensor and the thermodynamic equation of state, by Binyamin Tsadik Bair-Mosheh

Lean

Restore explicit conservation premises and dynamic-solution witnesses 5 days ago

bug help wanted area:lean priority:P0

lilalittle/asymmetric-tensor

0

Lean 4 formalization of the asymmetric metric-tensor and the thermodynamic equation of state, by Binyamin Tsadik Bair-Mosheh

Lean

Clarify software versus manuscript citation and license metadata 5 days ago

documentation help wanted area:repo priority:P3

lilalittle/asymmetric-tensor

0

Lean 4 formalization of the asymmetric metric-tensor and the thermodynamic equation of state, by Binyamin Tsadik Bair-Mosheh

Lean

Document the reusable Lean API and a contributor path through the project 5 days ago

documentation help wanted area:lean area:repo priority:P3

lilalittle/asymmetric-tensor

0

Lean 4 formalization of the asymmetric metric-tensor and the thermodynamic equation of state, by Binyamin Tsadik Bair-Mosheh

Lean

Verify the announcement candidate and draft a focused invitation for Lean feedback 5 days ago

enhancement help wanted area:repo priority:P1

lilalittle/asymmetric-tensor

0

Lean 4 formalization of the asymmetric metric-tensor and the thermodynamic equation of state, by Binyamin Tsadik Bair-Mosheh

Lean

Publish the actual formalization scope, assumptions, and completion status 5 days ago

documentation help wanted area:repo priority:P1

lilalittle/asymmetric-tensor

0

Lean 4 formalization of the asymmetric metric-tensor and the thermodynamic equation of state, by Binyamin Tsadik Bair-Mosheh

Lean

Publish an equation-level coverage and assumption ledger 5 days ago

help wanted area:lean area:repo priority:P2

lilalittle/asymmetric-tensor

0

Lean 4 formalization of the asymmetric metric-tensor and the thermodynamic equation of state, by Binyamin Tsadik Bair-Mosheh

Lean

Reconcile the extra electromagnetic coupling factor in the force hierarchy 6 days ago

bug help wanted area:lean area:paper priority:P2

lilalittle/asymmetric-tensor

0

Lean 4 formalization of the asymmetric metric-tensor and the thermodynamic equation of state, by Binyamin Tsadik Bair-Mosheh

Lean

Make the weak-field truncation in the fluid derivation internally consistent 9 days ago

bug help wanted area:paper priority:P2

lilalittle/asymmetric-tensor

0

Lean 4 formalization of the asymmetric metric-tensor and the thermodynamic equation of state, by Binyamin Tsadik Bair-Mosheh

Lean

Map the next mathematical formalization targets and choose one tractable result 10 days ago

enhancement help wanted area:lean area:repo research priority:P3

lilalittle/asymmetric-tensor

0

Lean 4 formalization of the asymmetric metric-tensor and the thermodynamic equation of state, by Binyamin Tsadik Bair-Mosheh

Lean

Organize Lean modules and adopt community naming, header, and lint conventions 10 days ago

enhancement help wanted area:lean area:repo priority:P3

lilalittle/asymmetric-tensor

0

Lean 4 formalization of the asymmetric metric-tensor and the thermodynamic equation of state, by Binyamin Tsadik Bair-Mosheh

Lean

Add CI with reviewed axiom and proof-completeness checks 10 days ago

enhancement help wanted area:lean area:repo priority:P1

lilalittle/asymmetric-tensor

0

Lean 4 formalization of the asymmetric metric-tensor and the thermodynamic equation of state, by Binyamin Tsadik Bair-Mosheh

Lean

Make setup instructions reproduce the committed Lean and mathlib selection 10 days ago

documentation help wanted area:repo priority:P1

lilalittle/asymmetric-tensor

0

Lean 4 formalization of the asymmetric metric-tensor and the thermodynamic equation of state, by Binyamin Tsadik Bair-Mosheh

Lean

lilalittle/asymmetric-tensor

Open Issues Need Help