Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Linux/kernel/trace/rv/   (Rocq Prover Version 9.1.0©)  Datei vom 24.10.2025 mit Größe 992 B image not shown  

SSL ci-neural_net_interp.sh   Interaktion und
Portierbarkeitunbekannt

 
#!/usr/bin/env bash

set -e

ci_dir="$(dirname "$0")"
. "${ci_dir}/ci-common.sh"

git_download neural_net_interp

if [ "$DOWNLOAD_ONLY" ]; then exit 0; fi

( cd "${CI_BUILD_DIR}/neural_net_interp"
  make coq-ci-target
)

Messung V0.5 in Prozent
C=92 H=95 G=93

[Verzeichnis aufwärts0.10unsichere VerbindungÜbersetzung europäischer Sprachen durch Browser2026-06-07]