Cheap code means formal verification is reasonable now(antfly.io)

7 分 | 作者 dovin 18小时前

1 条评论

  • kingcauchy 17小时前
    I work with you so I'm bias but I think this is neat.