Port from paramcoq to elpi #553
Annotations
1 error and 11 warnings
|
theories/additions/Addition_Chains.v#L234
In environment
|
|
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
theories/ordinals/Ackermann/fol.v#L836
Notation "_ = _" was already used in scope fol_scope.
|
|
theories/ordinals/Ackermann/fol.v#L861
Notation "_ = _" was already used in scope fol_scope.
|
|
theories/ordinals/Ackermann/folProp.v#L6
Notation "_ = _" was already used in scope fol_scope.
|
|
theories/ordinals/Ackermann/folProof.v#L13
Notation "_ = _" was already used in scope fol_scope.
|
|
theories/ordinals/Ackermann/Deduction.v#L10
Notation "_ = _" was already used in scope fol_scope.
|
|
theories/ordinals/Ackermann/model.v#L12
Notation "_ = _" was already used in scope fol_scope.
|
|
theories/ordinals/Ackermann/folLogic.v#L9
Notation "_ = _" was already used in scope fol_scope.
|
|
theories/ordinals/Ackermann/folLogic2.v#L11
Notation "_ = _" was already used in scope fol_scope.
|
|
theories/ordinals/Ackermann/subAll.v#L12
Notation "_ = _" was already used in scope fol_scope.
|
|
theories/ordinals/Ackermann/folLogic3.v#L15
Notation "_ = _" was already used in scope fol_scope.
|
The logs for this run have expired and are no longer available.
Loading