Coq Verification Projects
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.Project mention: Languages on the rise like Rust and Go are being quite vocal against inheritance and many engineers seem to agree. Is this the end of inheritance? What do you think? | /r/rust | 2023-07-04
A framework for smart contract verification in Coq
The modern API for authentication & user identity. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.