Packages with the hypothesis-selection use flag

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

  • Enable hypothesis selection