[  lenny  ] [  squeeze  ] [  sid  ] [  experimental  ]
[ Source: matita  ]

Package: matita-standard-library (0.5.7-2)

standard library for the Matita interactive theorem prover

Matita is a graphical interactive theorem prover based on the Calculus of (Co)Inductive Constructions.

This package contains the standard library of theorems of the matita interactive theorem prover.

Other Packages Related to matita-standard-library

  • depends
  • recommends
  • suggests
  • dep: matita (>= 0.5.7-2)
    interactive theorem prover

Download matita-standard-library

Download for all available architectures
Architecture Package Size Installed Size Files
all 16,058.4 kB70604 kB [list of files]