The Matita proof assistant is now available for Nix and is now part of the
Nixpkgs collection of software. This means that Matita is available to
all users of the Nix package manager and, in particular, to NixOS users.
Matita can be installed with
nix-env -i matita
Nix is a purely functional package management program available for many
different Linux distributions (and some non-linux distributions).
<http://nixos.org/>
Matita is an interactive theorem prover based on the Calculus of Inductive
Constructions, and has some compatibility with Coq. See
<http://matita.cs.unibo.it/>
--
Russell O'Connor <http://r6.ca/>
``All talk about `theft,''' the general counsel of the American Graphophone
Company wrote, ``is the merest claptrap, for there exists no property in
ideas musical, literary or artistic, except as defined by statute.''
_______________________________________________
nix-dev mailing list
[email protected]
https://mail.cs.uu.nl/mailman/listinfo/nix-dev
