---
Type: desktop-application
ID: matita.desktop
Package: matita
Name:
C: Matita
Summary:
C: Interactive theorem prover
Description:
pl: >-
<p>Matita jest graficznym programem służącym do udowodniania twierdzeń, opartym na rachunku konstrukcji indukcyjnych (ang.
Calculus of (Co)Inductive Constructions).</p>
de: >-
<p>Matita ist ein grafischer, interaktiver Theorem-Beweiser auf der Grundlage des Calculus of (Co)Inductive Constructions.</p>
pt: >-
<p>Matita é uma ferramenta gráfica interativa para a prova de teoremas baseado no Calculus of (Co)Inductive Constructions.</p>
ja: >-
<p>Matita は (余) 帰納構成的論理に基づくグラフィカルで対話的な自動証明系です。</p>
uk: >-
<p>Matita — графічний інтерактивний докажчик теорем, який базується на Обчисленнях (Ко)Індуктивних Конструкцій.</p>
en: >-
<p>Matita is a graphical interactive theorem prover based on the Calculus of (Co)Inductive Constructions.</p>
cs: >-
<p>Matita je grafický interaktivní tester vět pomocí tzv. "Calculus of (Co)Inductive Constructions".</p>
C: >-
<p>Matita is a graphical interactive theorem prover based on the Calculus of (Co)Inductive Constructions.</p>
es: >-
<p>Matita es un demostrador gráfico e interactivo de teoremas basado en el Cálculo de Construcciones (Co)Inductivas.</p>
it: >-
<p>Matita è uno strumento grafico interattivo per la dimostrazione di teoremi basato sul calcolo delle costruzioni (co)induttive.</p>
da: >-
<p>Matita er en grafisk interaktiv læresætningsbeviser baseret på Calculus of (Co)Inductive Constructions.</p>
Categories:
- Education
- Science
- Math
Icon:
cached:
- name: matita_matita.png
width: 64
height: 64