Categories
tech

[aws] intro to automated reasoning

https://www.amazon.science/blog/a-gentle-introduction-to-automated-reasoning