···

       
14
       
14
       
 
       
  "gen"

     

       
15
       
15
       
 
       
  "odoc" { with-doc }

     

       
16
       
16
       
 
       
  "pp_loc" { >= "2.0.0" }

     

       
17
       
17
       
+
       
  "mdx" { with-test }

     

       
17
       
18
       
 
       
]

     

       
18
       
19
       
 
       
tags: [ "logic" "computation" "automated theorem prover" ]

     

       
19
       
20
       
 
       
homepage: "https://github.com/Gbury/dolmen"