rahmenlose Ansicht.nix DruckansichtScala {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 ];
}
[ Verzeichnis aufwärts0.47unsichere Verbindung
]
