Spracherkennung für: .out vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
1234
: nat
Nat.add 1 2
: nat
match 1 with
| 1 => true
| _ => false
end
: bool
{| field := 7 |}
: test
S
(S
(S
(S
(S
(S
(S
(S
(S
(S
(S
(S
(S
(S
(S
(S
(S
(S
(S (S (S (S (S (S ...)))))))))))))))))))))))
: nat
Nat.add (S O) (S (S O))
: nat
match S O with
| S O => true
| _ => false
end
: bool
{| field := S (S (S (S (S (S (S O)))))) |}
: test
[Dauer der Verarbeitung: 0.16 Sekunden, vorverarbeitet 2026-06-04]
