4841 shaares
1 result
tagged
formal-verification
As usual with such provers the model is fairly constraining. But nowadays it seems to start being usable in more cases. Deriving the Lean code from the source code is nice too.
