#Coq

AeneasVerif

aeneas

A verification toolchain for Rust programs

rocq-prover

vsrocq

Visual Studio Code extension for Coq

lukaszcz

coqhammer

CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory

IBM

ACE-RISCV

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.

AU-COBRA

ConCert

A framework for smart contract verification in Coq

EugeneLoy

coq_jupyter

Jupyter kernel for Coq

coq-tactician

coq-tactician

A Seamless, Interactive Tactic Learner and Prover for Coq

Zilliqa

scilla-coq

State-Transition Systems for Smart Contracts