https://github.com/unionlabs/union

The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.

astro blockchain bridge cosmos cosmwasm ethereum evm golang indexer move nix prover relayer rust solidity svelte typescipt typescript zero-knowledge

Last synced: 12 May 2025

https://github.com/newca12/awesome-rust-formalized-reasoning?tab=readme-ov-file

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

automated-theorem-provers constructive-mathematics dependent-types formal-verification logic proof-assistants prover reasoning rust theorem-prover theorem-proving

Last synced: 04 Mar 2026

https://github.com/eprover/eprover

atp prover reasoning

Last synced: 25 Oct 2025

https://github.com/baro77/ZKbasicsCS

Zero-Knowledge Proofs "for (not too much :wink: ) dummies"

argument completeness fiat-shamir nizk proof proof-of-knowledge prover simulator soundness verifier zero-knowledge zkp

Last synced: 11 May 2025

https://github.com/evhub/pyprover

Resolution theorem proving for predicate logic in pure Python.

coconut first-order-logic prover python theorem-prover theorem-proving

Last synced: 07 May 2025

https://github.com/thor314/pebble-stark

A community-developed re-implementation of the Starkware Stone Prover

cairo community cryptography prover stark starkware zero-knowledge zk

Last synced: 03 Apr 2025

https://github.com/c-cube/mc2

[research] A modular SMT solver in OCaml, based on mcSAT

formal-methods mcsat ocaml prover smt

Last synced: 21 Mar 2025

https://github.com/digitalformallogic/mathesis

Python library for computational formal logic, formal semantics, and theorem proving

first-order-logic formal-logic logic mathematical-logic philosophical-logic philosophy proof propositional-logic prover semantics symbolic-logic

Last synced: 14 Jan 2026

https://github.com/c-cube/sidekick

A modular library for CDCL(T) SMT solvers, with [wip] proof generation.

cdcl-t congruence-closure formal-methods functor prover sat-solver smt-solver

Last synced: 22 Aug 2025

https://github.com/dipdup-io/stone-packaging

Various forms of distribution for the Starkware Stone prover and verifier

binaries docker packages prover stark starknet starkware stone verifier

Last synced: 12 Jan 2026

https://github.com/aztek/atp

Haskell interface to automated theorem provers

atp automated-theorem-provers first-order-logic formal-methods haskell logic prover theorem-proving tptp

Last synced: 15 Oct 2025

https://github.com/arcxteam/nexus-node

Nexus is ZkVM a Modular Verifiable Internet. A Complete Guide - Run Nexus node as Prover Network.

nexus nexus-cli nexus-node nexus-scripts nexuslabs node-guide node-runtime prover rust-lang supercomputer testnet-node zkevm zkproof zkproof-prover zkvm

Last synced: 19 Oct 2025

https://github.com/geometer/sandbox

Geometer's Sandbox project repo

geometry prover

Last synced: 23 Jul 2025

https://github.com/nemi-fi/tee-rex

A TEE-based prover for Aztec transactions

aztec prover tee zero-knowledge

Last synced: 05 Mar 2026

https://github.com/zunxbt/nexus-prover

One click guide to run nexus prover beta on your system

nexus prover rust rust-lang

Last synced: 14 Feb 2026

https://github.com/ozekik/mathesis

Python library for computational formal logic, formal semantics, and theorem proving

first-order-logic formal-logic logic mathematical-logic philosophical-logic philosophy proof propositional-logic prover semantics

Last synced: 25 Apr 2025

https://github.com/ExcaliburZero/resolution-prover

An implementation of a propositional logic resolution prover in Rust.

propositional-logic prover

Last synced: 09 May 2025

https://github.com/xieyuheng/skolem

an ACL2 style theorem prover with structural diff, embedded in scheme.

acl2 prover scheme structural-diff

Last synced: 16 Jan 2026

https://github.com/daniyal1249/nd-prover

Natural deduction proof generator & checker

fitch fitch-proofs logic math modal-logic natural-deduction proof-checker prover python theorem-prover theorem-proving

Last synced: 01 Apr 2026

https://github.com/rikosellic/zfc-prover-in-coq

A mini ZFC prover embedded in Coq for teaching scenarios. (CoqPL'23)

coq-formalization prover zfc

Last synced: 31 May 2026

https://github.com/arcxteam/succinct-prover

Guides Run Succinct Prover Spn-Node CPU with Docker

nodetestnet prover succinct succinctprover testnet zkproof zkvm

Last synced: 06 Feb 2026

https://github.com/olbat/robinson-prover

Prover based on Robinson system

algebra prover robinson

Last synced: 30 Mar 2025

https://github.com/sauzeauyannis/ls-projet

An interpreter for an imperative language and a Hoare logic prover

coq hoare-logic imperative-language interpreter ocaml prover school-project

Last synced: 01 Oct 2025