Spracherkennung für: .out vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
File "./output/Qf_stdlib.v", line 16, characters 6-22:
Warning: Coq.Init.Nat.add has been replaced by Corelib.Init.Nat.add.
[deprecated-dirpath-Coq,deprecated-since-9.0,deprecated,default]
Quickfix:
Replace File "./output/Qf_stdlib.v", line 16, characters 6-22 with Corelib.Init.Nat.add
Nat.add : nat -> nat -> nat
Nat.add is not universe polymorphic
Arguments Nat.add (n m)%_nat_scope
Nat.add is transparent
Expands to: Constant Corelib.Init.Nat.add
Declared in library Corelib.Init.Nat, line 47, characters 9-12
File "./output/Qf_stdlib.v", line 17, characters 6-22:
Warning: Coq.Init.Nat.add has been replaced by Corelib.Init.Nat.add.
[deprecated-dirpath-Coq,deprecated-since-9.0,deprecated,default]
Quickfix:
Replace File "./output/Qf_stdlib.v", line 17, characters 6-22 with Corelib.Init.Nat.add
Nat.add
: nat -> nat -> nat
[Dauer der Verarbeitung: 0.16 Sekunden, vorverarbeitet 2026-06-04]
