package matita

  1. Overview
  2. Docs
An experimental, interactive theorem prover

Install

Dune Dependency

Authors

Maintainers

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.

Dependencies (13)

  1. camlp5 >= "8.00.04"
  2. dune-site
  3. dune-build-info
  4. cairo2 >= "0.6.4"
  5. lablgtk3-sourceview3 >= "3.1.3"
  6. camlzip >= "1.11"
  7. uuseg >= "15.0.0"
  8. uutf >= "1.0.0"
  9. sedlex >= "3.0"
  10. pcre >= "7.5.0"
  11. ocaml-expat >= "1.1.0"
  12. ocaml >= "4.14.1" & < "5.0.0"
  13. dune >= "3.6"

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.