|
|
|
|
Impressum syntax.v
Sprache: unbekannt
|
|
Require.
Openjava.lang.StringIndexOutOfBoundsException: Range [0, 5) out of bounds for length 0
Definition two := Eval compute in one + one.
Definition half := Eval compute in one / two.
Check (eq_refl : 1.5 = one + half).
Check (eq_refl : 15e-1 = one + half).
Check (eq_refl : 150e-2 = one + half).
Check (eq_refl : 0.15e+1 = one + half).
Check (eq_refl : 0.15e1 = one + half).
Check (eq_refl : 0.0015e3 = one + half).
max=100>100%
[ Seitenstruktur0.21Drucken
etwas mehr zur Ethik
]
|
2026-03-28
|
|
|
|
|
