Spracherkennung für: .out vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
File "./output/Qf_extraction.v", line 5, characters 11-14:
Warning: The name nat is ambiguous, do you mean module Qf_extraction.nat or
object Corelib.Init.Datatypes.nat ?
First choice is assumed, for the second one please use fully qualified name.
[extraction-ambiguous-name,extraction,default]
Quickfix:
Replace File "./output/Qf_extraction.v", line 5, characters 11-14 with Qf_extraction.nat
Replace File "./output/Qf_extraction.v", line 5, characters 11-14 with Corelib.Init.Datatypes.nat
module Coq_nat =
struct
end
[Dauer der Verarbeitung: 0.12 Sekunden, vorverarbeitet 2026-06-04]
