Quellcode-Bibliothek

^© Kompilation durch diese Firma

rahmenlose Ansicht.nix DruckansichtIsabelle {Isabelle[26] C[97] Ada[159]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

{ ocamlPackages }:
{
buildInputs = with ocamlPackages; [ ocaml findlib elpi ];
}