Spracherkennung für: .out vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
f =
fix f (n : nat) : nat :=
match n with
| 0 => 0
| S n0 => g n0
end
with g (n : nat) : nat :=
match n with
| 0 => 0
| S n0 => f n0
end
for
f
: nat -> nat
Arguments f n%_nat_scope
[ Dauer der Verarbeitung: 0.46 Sekunden
]
