JSTprove on käynnissä Subnet-2:n pääverkossa. Viikon onnistuneen testiverkon todistamisen jälkeen skaalaamme nyt tuhansiin todisteisiin viikossa ja avaamme varmennettavissa olevia päättelyjä malleista, jotka eivät aiemmin olleet toteuttamiskelpoisia. Tämä on iso askel päättelytodistuksessa.