Popular repositories Loading

1. z3 z3 Public

   Forked from Z3Prover/z3

   The Z3 Theorem Prover

   C++

2. mirror-isabelle mirror-isabelle Public

   Forked from isabelle-prover/mirror-isabelle

   Git mirror of https://isabelle.in.tum.de/repos/isabelle

   Isabelle

3. hafnium-verification hafnium-verification Public

   Forked from project-oak/hafnium-verification

   OCaml

4. silveroak silveroak Public

   Forked from project-oak/silveroak

   Formal specification and verification of hardware, especially for security and privacy.

   Coq

5. rust-verification-tools rust-verification-tools Public

   Forked from project-oak/rust-verification-tools

   RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.

   Rust

6. oak oak Public

   Forked from project-oak/oak

   Meaningful control of data in distributed systems.

   Rust