Spracherkennung für: .out vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
chain =
fun x y : nat => let/c f := foo x y in
let/c b := bar x y in
f = b
: nat -> nat -> Prop
Arguments chain (x y)%_nat_scope
[Dauer der Verarbeitung: 0.14 Sekunden, vorverarbeitet 2026-06-04]
