I have used those boards under keil (from 3.24 to 4.x), iar (through 6.4), coide (1.x plus an old gcc), and arduino, programmed through stlink and jlink, with cmsis and stdperipheral libraries.
They are some of the easiest think to do: either copy over an existing project or click some butons under coide. 30 seconds tops will get you up and running.
They are amazing values, especially coupled with stlink clones.