···

       
32
       
32
       
 
       
  "zarith" {>= "1.4"}

     

       
33
       
33
       
 
       
  "num"

     

       
34
       
34
       
 
       
]

     

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

     

       
35
       
36
       
 
       
synopsis: "Lem is a tool for lightweight executable mathematics"

     

       
36
       
37
       
 
       
description: """

     

       
37
       
38
       
 
       
Lem is a tool for lightweight executable mathematics, for writing,