během Spire offsite jsme měli nejméně 10 samostatných případů, kdy někdo řekl "co kdybychom to prostě zabalili do důkazu a ověřili" a je to úplně nový způsob myšlení. Rychlé generování důkazů je neuvěřitelná věc
2,34K