psatck 更新了一个新技能 /create-formal-verification-skill！ 它仍处于 beta 阶段，与 /create-veri… · @wohsj110 · TwKit

@wohsj110

psatck 更新了一个新技能 /create-formal-verification-skill！ 它仍处于 beta 阶段，与 /create-verification-skill 类似。这是一个元技能，它会根据您想要验证的特性创建一个新技能和形式验证套件。 软件工程的的学习和思路仍在发光发热，形式化方法来建设 verify skill，ps(其实我也写了一个 reate-formal-verification-skill，也是基于 形式化方法，不过没来得及跟大家分享，就已经有大佬分享出来了，sad)

曝光 10 · 评论 0 · 点赞 0 · 书签 0