Gedichte Musik Bilder Quellcodebibliothek Diashow Normaldarstellung
Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/test-suite/output/   (Beweissystem des Inria Version 9.1.0©)  Datei vom 15.8.2025 mit Größe 139 B image not shown  

Quelle  CompactContexts.out   Sprache: unbekannt

 
1 goal
  
  hP1 : True
  a : nat   b : list nat   h : forall x : nat, {y : nat | y > x}
  h2 : True
  ============================
  False

[ Dauer der Verarbeitung: 0.10 Sekunden  (vorverarbeitet)  ]