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.8-2+b1
Architecture:i386
Distribution:Debian
Filename:matita_0.5.8-2+b1_i386.deb

/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.8

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

              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  -  Matita  interative  theorem prover - dependency
       analyzer

SYNOPSIS
       matitadep [ OPTION ... ]

DESCRIPTION
       Matita depency file generator v0.5.8

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

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

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

matita (0.5.8-2+b1) unstable; urgency=low

  * Binary-only non-maintainer upload for i386; no source
more»

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

0.5.8 - ... - toward the 1.x series
	* Complete rewriting of paramodulation code (thanks to Maxime D
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»

/usr/share/matita/LICENSE

Copyright (C) 2000-2006, HELM Team.

Matita is part of HELM, an Hypertextual, Electronic
Library of 
more»

Browse inside matita_0.5.8-2+b1_i386.deb

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

Download matita_0.5.8-2+b1_i386.deb

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