authors: [
"HELM Team (Andrea Asperti, Ferruccio Guidi, Luca Padovani, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli et alt.)"
]
authors: [
"HELM Team (Andrea Asperti, Ferruccio Guidi, Luca Padovani, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli et alt.)"
]
tags: ["interactive theorem proving" "calculus of constructions"]
homepage: "http://matita.cs.unibo.it"
doc: "http://matita.cs.unibo.it"
tags: ["interactive theorem proving" "calculus of constructions"]
homepage: "http://matita.cs.unibo.it"
doc: "http://matita.cs.unibo.it"
- "ocamlnet" {= "4.1.9.git"}
- "ulex-camlp5" {= "1.3"}
- "ocaml-expat" {= "1.1.0"}
- "lablgtk3-sourceview3" {= "3.1.3"}
- "camlp5" {= "8.00.04"}
+ "ocaml" {>= "4.14.1"}
+ "ulex-camlp5" {>= "1.3"}
+ "ocaml-expat" {>= "1.1.0"}
+ "pcre" {>= "7.5.0"}
+ "camlzip" {>= "1.11"}
+ "lablgtk3-sourceview3" {>= "3.1.3"}
+ "dune-build-info"
+ "dune-site"
+ "camlp5" {>= "8.00.04"}