package matita

You can search for identifiers within the package.

in-package search v0.2.0

An experimental, interactive theorem prover

Install

Dune Dependency

matita.cs.unibo.it Edit opam file Versions (1)

Authors

Maintainers

C

Claudio Sacerdoti Coen

Sources

v0.99.5.tar.gz

md5=fd2535222ca0cb80d1eeebbb0109226e

sha512=8ef014ba47af7f6a3b055426ef0f64898904b121aaaba6fad94f787c04733ba4687c21fbfbe8674d75a92a33ce7a332a8e6e7bbd53a2e9ed204fc00e75e6dc84

Description

Matita (that means pencil in italian) is an experimental, interactive theorem prover under development at the Computer Science Department of the University of Bologna.

Published: 05 Oct 2023

Dependencies (13)

camlp5 >= "8.00.04"
dune-site
dune-build-info
cairo2 >= "0.6.4"
lablgtk3-sourceview3 >= "3.1.3"
camlzip >= "1.11"
uuseg >= "15.0.0"
uutf >= "1.0.0"
sedlex >= "3.0"
pcre >= "7.5.0"
ocaml-expat >= "1.1.0"
ocaml >= "4.14.1" & < "5.0.0"
dune >= "3.6"

Dev Dependencies (1)

odoc with-doc

Used by

None

Conflicts