Coq
Coq is a formal proof management system. It provides a formal language to write
mathematical definitions, executable algorithms and theorems together with an
environment for semi-interactive development of machine-checked proofs. Typical
applications include the certification of properties of programming languages,
the formalization of mathematics and teaching.
Here are 625 public repositories matching this topic...
Verified Software Toolchain
-
Updated
May 30, 2024 - Coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
-
Updated
May 30, 2024 - OCaml
Visual Studio Code Extension and Language Server Protocol for Coq
-
Updated
May 30, 2024 - OCaml
Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for RISC-V with focus on a formally verified and auditable security monitor.
-
Updated
May 30, 2024 - Rust
A verification toolchain for Rust programs
-
Updated
May 30, 2024 - OCaml
Check 100% of execution cases of Rust programs 🦀 to make applications with no bugs!
-
Updated
May 30, 2024 - Coq
Formalization of C++ for verification purposes.
-
Updated
May 30, 2024 - Coq
Master's Thesis in Computer Science: Verification of the Blocking and Non-Blocking Michael-Scott Queue Algorithms
-
Updated
May 30, 2024 - TeX
Readings on computational logic, interactive theorem proving and functional programming.
-
Updated
May 30, 2024
Índice de repositorios.
-
Updated
May 30, 2024 - HTML
Probabilistic separation logics for verifying higher-order probabilistic programs.
-
Updated
May 30, 2024 - Coq
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
-
Updated
May 29, 2024 - OCaml
Coq plugin embedding elpi
-
Updated
May 29, 2024 - OCaml
A function definition package for Coq
-
Updated
May 29, 2024 - Coq
Ring, field, lra, nra, and psatz tactics for Mathematical Components
-
Updated
May 28, 2024 - Coq
Created by Gérard Pierre Huet, Thierry Coquand
Released 1989
Latest release 3 months ago
- Followers
- 56 followers
- Repository
- coq/coq
- Website
- coq.inria.fr
- Wikipedia
- Wikipedia