SupGen on nyt integroitu natiivisti HVM4:ään 🥳 Nopea ohjelmointi/todisteiden todentaja/louhija vuorovaikutusverkoissa