···

       
20
       
20
       
 
       
  [make]

     

       
21
       
21
       
 
       
]

     

       
22
       
22
       
 
       
install: [[make "install"]]

     

       
23
       
23
       
+
       
conflicts: ["ocaml-option-bytecode-only"]

     

       
23
       
24
       
 
       
synopsis: "Zenon Modulo Theory"

     

       
24
       
25
       
 
       
description: """

     

       
25
       
26
       
 
       
Automated theorem prover for first order classical logic (with