···

       
1
       
 
       
# This file is generated by dune, edit dune-project instead

     

       
2
       
 
       
opam-version: "2.0"

     

       
0
       
 
       

     

       
3
       
 
       
synopsis: "An experimental, interactive theorem prover"

     

       
4
       
 
       
description:

     

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

     

       
6
       
 
       
maintainer: ["Claudio Sacerdoti Coen"]

     

       
7
       
 
       
authors: [

     

       
8
       
-
       
  "HELM Team (Andrea Asperti, Ferruccio Guidi, Luca Padovani, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli et alt.)"

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
9
       
 
       
]

     

       
10
       
 
       
license: "GPL-2.0-or-later"

     

       
11
       
 
       
tags: ["interactive theorem proving" "calculus of constructions"]

     

       
12
       
 
       
homepage: "http://matita.cs.unibo.it"

     

       
13
       
 
       
doc: "http://matita.cs.unibo.it"

     

       
14
       
-
       
bug-reports: "mailto:claudio.sacerdoticoen@unibo.it"

     

       
15
       
 
       
depends: [

     

       
16
       
 
       
  "dune" {>= "3.6"}

     

       
17
       
 
       
  "ocaml" {>= "4.14.1" & < "5.0.0"}

     

···

       
1
       
 
       
# This file is generated by dune, edit dune-project instead

     

       
2
       
 
       
opam-version: "2.0"

     

       
3
       
+
       
version: "0.99.5"

     

       
4
       
 
       
synopsis: "An experimental, interactive theorem prover"

     

       
5
       
 
       
description:

     

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

     

       
7
       
 
       
maintainer: ["Claudio Sacerdoti Coen"]

     

       
8
       
 
       
authors: [

     

       
9
       
+
       
  "HELM Team"

     

       
10
       
+
       
  "Andrea Asperti"

     

       
11
       
+
       
  "Ferruccio Guidi"

     

       
12
       
+
       
  "Luca Padovani"

     

       
13
       
+
       
  "Claudio Sacerdoti Coen"

     

       
14
       
+
       
  "Enrico Tassi"

     

       
15
       
+
       
  "Stefano Zacchiroli"

     

       
16
       
 
       
]

     

       
17
       
 
       
license: "GPL-2.0-or-later"

     

       
18
       
 
       
tags: ["interactive theorem proving" "calculus of constructions"]

     

       
19
       
 
       
homepage: "http://matita.cs.unibo.it"

     

       
20
       
 
       
doc: "http://matita.cs.unibo.it"

     

       
21
       
+
       
bug-reports: "https://github.com/sacerdot/matita/issues"

     

       
22
       
 
       
depends: [

     

       
23
       
 
       
  "dune" {>= "3.6"}

     

       
24
       
 
       
  "ocaml" {>= "4.14.1" & < "5.0.0"}