This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
-
Updated
Jul 7, 2025 - Rocq Prover
#
rocq
Here are 13 public repositories matching this topic...
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
-
Updated
Jul 9, 2025 - Rocq Prover
Visual Studio Code extension for Coq
-
Updated
Jul 10, 2025 - OCaml
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
ide coq language-server-protocol vscode-extension user-interface interactive-theorem-proving rocq rocq-prover
-
Updated
Jul 11, 2025 - OCaml
Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a formally verified and auditable firmware.
security coq virtualization riscv rust-lang formal-verification trusted-computing cove trusted-execution-environment confidential-computing refinedrust rocq
-
Updated
Jun 14, 2025 - Rust
Formal verification for Solidity smart contracts with Rocq 🐓 Verify arbitrary properties on your smart contracts and make no bugs!
-
Updated
Jun 6, 2025 - Coq
BigRocq is a utility, that takes a Rocq (former Coq) project as input and uses domain knowladge to increase a number of theorems in the dataset by a significant factor.
-
Updated
Jul 8, 2025 - TypeScript
Local computation rules in type theory
-
Updated
Jul 10, 2025 - Rocq Prover
Proof checker from scratch in Python and coq / rocq
-
Updated
Feb 6, 2025 - Jupyter Notebook
Notes and Learning Material for the course "Proofs, Programs and Types" taught at IIT Palakkad
functional-programming coq theorem-proving formal-methods formal-verification proofs-as-programs rocq rocq-prover
-
Updated
Apr 30, 2025 - Coq
A tutorial on well-founded recursion in Rocq
-
Updated
May 25, 2025 - HTML
Improve this page
Add a description, image, and links to the rocq topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the rocq topic, visit your repo's landing page and select "manage topics."