Packages with the sexp use flag

sci-mathematics / why3 : Platform for deductive program verification

  • Add support for outputting S-expressions with dev-ml/ppx_sexp_conv

sci-mathematics / why3-for-spark : Platform for deductive program verification

  • Add support for outputting S-expressions with dev-ml/ppx_sexp_conv