products/sources/formale sprachen/Coq/dev/ci/nix/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: quickchick.nix   Sprache: Unknown

Spracherkennung für: .nix vermutete Sprache: Scala {Scala[76] Latech[142] Isabelle[178]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

{ ocamlPackages, ssreflect, coq-ext-lib, simple-io }:
{
  buildInputs = with ocamlPackages; [ ocaml findlib ocamlbuild num ];
  coqBuildInputs = [ ssreflect simple-io ];
}

[ Dauer der Verarbeitung: 0.43 Sekunden  ]