Axiom eq_nat_dec : forall n m : nat, {n = m} + {n <> m}.
Module Nat. Axiom add_0_l : forall n : nat, 0 + n = n. Axiom add_0_r : forall n : nat, n + 0 = n. Axiom nlt_0_r : forall n : nat, ~ n < 0. Axiom succ_lt_mono : forall n m : nat, n < m <-> S n < S m. Axiom lt_lt_succ_r : forall n m : nat, n < m -> n < S m. End Nat.
Messung V0.5
¤ Dauer der Verarbeitung: 0.12 Sekunden
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.
