[Nix-dev] Matita Package for Nix

[roconnor at theorem.ca]

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.''