all options
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ Source: matita  ]

Package: matita (0.5.8-2 and others)

Links for matita

Screenshot

Debian Resources:

Download Source Package matita:

Maintainers:

External Resources:

Similar packages:

Prova interactiva de teoremas

Matita é uma ferramenta gráfica interativa para a prova de teoremas baseado no Calculus of (Co)Inductive Constructions.

Matita adopta objectos de prova em codificação XML que são produzidos para armazenamento e troca. Isto tornando-o compatível em certa medida, com o Coq.

A interface gráfica foi inspirada por CtCoq e Proof General. Suporta renderização bidimensional de alta qualidade de provas e fórmulas transformadas em tempo real em marcadores do MathML.

Tags: Field: Mathematics, Implemented in: OCaml, User Interface: Command Line, X Window System, Role: Program, Interface Toolkit: GTK, Purpose: Checking, X Window System: Application

Other Packages Related to matita

  • depends
  • recommends
  • suggests
  • enhances

Download matita

Download for all available architectures
Architecture Version Package Size Installed Size Files
armel 0.5.8-2+b2 15,217.0 kB38,240.0 kB [list of files]