package matita

No build information
  1. Overview
  2. No Docs
An experimental, interactive theorem prover

Install 

dune-project
 Dependency

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

Authors

  1. H
    HELM Team
  2. A
    Andrea Asperti
  3. F
    Ferruccio Guidi
  4. L
    Luca Padovani
  5. C
    Claudio Sacerdoti Coen
  6. E
    Enrico Tassi
  7. S
    Stefano Zacchiroli

Maintainers

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

Tags

interactive theorem proving calculus of constructions

Added to opam-repository:

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

Optional Dependencies

None

Used by

None

Conflicts

None

Build status

check.ci.ocaml.org has no results for any version of matita in its run of against opam-repository 8a77e58. check.ci only builds the packages that opam can install on its Linux image (Debian, x86_64). It leaves out packages for other systems, packages whose system library is missing from that image, and the packages that depend on them.