package matita

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

Install

Dune 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

Published: 05 Oct 2023

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