Trending repositories for topic coq
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! ✈️ 🚀 ⚕️ 🏦
LLM verified with Monte Carlo Tree Search
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
A library of mechanised undecidability proofs in the Coq proof assistant.
An axiom-free formalization of category theory in Coq for personal study and practical work
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
A gently curated list of companies using verification formal methods in industry
Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for RISC-V with focus on a formally verified and auditable security monitor.
A library of mechanised undecidability proofs in the Coq proof assistant.
Functional Algorithms Verified in SSReflect [maintainer=@clayrat]
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
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
Metaprogramming, verified meta-theory and implementation of Coq in Coq
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
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
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Metaprogramming, verified meta-theory and implementation of Coq in Coq
A gently curated list of companies using verification formal methods in industry
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
Visual Studio Code Extension and Language Server Protocol for Coq
Tricks you wish the Coq manual told you [maintainer=@tchajed]
An axiom-free formalization of category theory in Coq for personal study and practical work
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.
Visual Studio Code Extension and Language Server Protocol for Coq
Functional Algorithms Verified in SSReflect [maintainer=@clayrat]
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
Metaprogramming, verified meta-theory and implementation of Coq in Coq
A formally verified high-level synthesis tool based on CompCert and written in Coq.
