# Formal verification

* [Coq](https://wiki.dewaka.com/computer-science/formal-verification/coq)
* [Lean](https://wiki.dewaka.com/computer-science/formal-verification/lean)
* [TLA+](https://wiki.dewaka.com/computer-science/formal-verification/tla)