Filewatcher File Search File Search
Catalog
Content Search
» » » » »

matita

interactive theorem prover

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

Matita adopts XML-encoded proof objects are produced for storage and exchange. This makes it compatible, at some extent, with Coq.

The graphical interface has been inspired by CtCoq and Proof General. It supports high quality bidimensional rendering of proofs and formulae transformed on-the-fly to MathML markup

Homepage:
Package version:0.5.3-1
Architecture:i386
Distribution:Debian
Filename:matita_0.5.3-1_i386.deb

/usr/share/doc/matita/README

MATITA
------

Matita is a new document-centric interactive theorem prover that integrates
several Mathematical Knowledge Management tools and techniques.

Matita is traditional. Its logical foundation is the Calculus of (Co)Inductive
Constructions (CIC). It can re-use mathematical concepts produced by other
proof assistants like Coq and encoded in an XML encoding of CIC. The
interaction paradigm
more»

/usr/share/man/man1/matitac.1.gz

MATITAC(1)                  User Commands                 MATITAC(1)



NAME
       matitac - Matita interative theorem prover - batch compiler

SYNOPSIS
       matitac [ OPTION ... ] FILE

DESCRIPTION
       Matita batch compiler v0.5.3

OPTIONS
       -b <path::uri> forces the baseuri of path

       -I  <path>  Adds  path  to the list of searched paths for the
              include command

   
more»

/usr/share/man/man1/matitaclean.1.gz

MATITACLEAN(1)              User Commands             MATITACLEAN(1)



NAME
       matitaclean - Matita interative theorem prover - cleanup tool

SYNOPSIS
       matitaclean all

DESCRIPTION
       MatitaClean v0.5.3

              matitaclean ( FILE | URI )

OPTIONS
       -b <path::uri> forces the baseuri of path

       -I  <path>  Adds  path  to the list of searched paths for the
            
more»

/usr/share/man/man1/matitadep.1.gz

MATITADEP(1)                User Commands               MATITADEP(1)



NAME
       matitadep  -  Ma
more»

/usr/share/doc/matita/changelog.Debian.gz

matita (0.5.3-1) unstable; urgency=low

  * New upstream bugfix release

 -- Enrico Tassi <gareusele
more»

/usr/share/doc/matita/changelog.gz

0.5.3  - 23/7/2008 - bugfix release
	* many fixes concerning the CProp hiearchy
	* coercion database
more»

/usr/share/matita/help/C/TODO

1) in order to generated chunked html directly
    XHTML_XSL=http://docbook.sourceforge.net/release
more»

/usr/share/doc/matita/AUTHORS

Andrea Asperti <asperti@cs.unibo.it>
Ferruccio Guidi <fguidi@cs.unibo.it>
Luca Padovani <lpadovan@cs
more»

Browse inside matita_0.5.3-1_i386.deb

         [DIR]DEBIAN/ (4)  65535+ mirrors
         [DIR]usr/ (2)  65535+ mirrors

Download matita_0.5.3-1_i386.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com