Quelle GIT-INFO Sprache: C

commit 1e485258faadaa2fd7b0e85434e18ffb17fd3d28
Author: Robert Bastian <4706271+robertbastian@users.noreply.github.com>
Date: Thu Apr 23 21:13:59 2026 +0200

ICU-23384 Manual patch

¤ Dauer der Verarbeitung: 0.11 Sekunden (vorverarbeitet am 2026-09-28) ¤

Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

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.