Statistics for topic coq
RepositoryStats tracks 579,582 Github repositories, of these 85 are tagged with the coq topic. The most common primary language for repositories using this topic is Coq (52).
Stargazers over time for topic coq
Most starred repositories for topic coq (view more)
Trending repositories for topic coq (view more)
Archive for all Coq related OPAM packages organized in various repositories
Archive for all Coq related OPAM packages organized in various repositories
Archive for all Coq related OPAM packages organized in various repositories
Archive for all Coq related OPAM packages organized in various repositories
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 developme...
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦
A library of mechanised undecidability proofs in the Coq proof assistant.
Functional Algorithms Verified in SSReflect [maintainer=@clayrat]
Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for RISC-V with focus on a formally verified and auditable security monitor.
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 developme...
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦
LLM verified with Monte Carlo Tree Search
LLM verified with Monte Carlo Tree Search
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦
Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for RISC-V with focus on a formally verified and auditable security monitor.