1 points | by wapiou 13 hours ago ago
1 comments
I think formal verification is super valuable use case and would love to learn more about how to experiment with it through this tool, which may not have the immediate traction it needs to grow but I dig it and want to learn more
I think formal verification is super valuable use case and would love to learn more about how to experiment with it through this tool, which may not have the immediate traction it needs to grow but I dig it and want to learn more