···

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

     

       
2
       
2
       
 
       
opam-version: "2.0"

     

       
3
       
3
       
-
       
version: "0.99.5"

     

       
4
       
3
       
 
       
synopsis: "An experimental, interactive theorem prover"

     

       
5
       
4
       
 
       
description:

     

       
6
       
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."