Trending repositories for topic coq
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦
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...
Archive for all Coq related OPAM packages organized in various repositories
LLM verified with Monte Carlo Tree Search
A gently curated list of companies using verification formal methods in industry
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦
Archive for all Coq related OPAM packages organized in various repositories
LLM verified with Monte Carlo Tree Search
A gently curated list of companies using verification formal methods in industry
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
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...
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! ✈️ 🚀 ⚕️ 🏦
Metaprogramming, verified meta-theory and implementation of Coq in Coq
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
A framework for formally verifying distributed systems implementations in Coq
An axiom-free formalization of category theory in Coq for personal study and practical work
Archive for all Coq related OPAM packages organized in various repositories
LLM verified with Monte Carlo Tree Search
Readings on computational logic, interactive theorem proving and functional programming.
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
A curated set of links to formal methods involving provable code.
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.
Readings on computational logic, interactive theorem proving and functional programming.
Archive for all Coq related OPAM packages organized in various repositories
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦
Metaprogramming, verified meta-theory and implementation of Coq in Coq
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
LLM verified with Monte Carlo Tree Search
A curated set of links to formal methods involving provable code.
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
A framework for formally verifying distributed systems implementations in Coq
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.
LLM verified with Monte Carlo Tree Search
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]
Readings on computational logic, interactive theorem proving and functional programming.
Metaprogramming, verified meta-theory and implementation of Coq in Coq
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]