E0 coercion #543
Annotations
11 warnings
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
theories/ordinals/Prelude/STDPP_compat.v#L14
A coercion will be introduced instead of an instance in future
|
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/Prelude/DecPreOrder.v#L24
A coercion will be introduced instead of an instance in future
|
theories/ordinals/Prelude/DecPreOrder.v#L30
A coercion will be introduced instead of an instance in future
|
theories/ordinals/Prelude/DecPreOrder.v#L50
A coercion will be introduced instead of an instance in future
|
theories/ordinals/Prelude/Comparable.v#L7
A coercion will be introduced instead of an instance in future
|
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.
|
The logs for this run have expired and are no longer available.
Loading