Skip to content

Simplify proofs - #3

Merged
pepamontero merged 1 commit into
pepamontero:SpecificLimits-LogosWSfrom
Mal-Pat:SpecificLimits-LogosWS
Jul 13, 2026
Merged

Simplify proofs#3
pepamontero merged 1 commit into
pepamontero:SpecificLimits-LogosWSfrom
Mal-Pat:SpecificLimits-LogosWS

Simplify proofs

a0361c9
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.