[  lenny  ] [  sid  ]
[ Source: matita  ]

Package: matita-standard-library (0.5.2-1)

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.2-1)
    interactive theorem prover

Download matita-standard-library

Download for all available architectures
Architecture Package Size Installed Size Files
all 11,672.9 kB50916 kB [list of files]