Movatterモバイル変換

Skip to content

#

prover

Here are 52 public repositories matching this topic...

Language:All

Filter by language

All52 Python10 Shell6 OCaml4 Haskell3 Rust3 TypeScript3 C2 Common Lisp2 Java2 SMT2

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

union

unionlabs /union

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

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

UpdatedFeb 20, 2026
Rust

newca12 /awesome-rust-formalized-reasoning

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

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

UpdatedFeb 14, 2026

eprover /eprover

atp prover reasoning

UpdatedFeb 10, 2026
C

sneeuwballen /zipperposition

An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.

prototype experimental ocaml computer-science-algorithms logic polymorphism cnf superposition saturation induction symbolic-computation prover rewriting

UpdatedOct 14, 2024
OCaml

cicada-lang /cicada-solo

Cicada Language (solo version)

language programming-language dependent-types repl type-theory type-system cicada prover interactive-theorem-proving theorem-prover dependent-record-types dependent-type-theory

UpdatedDec 25, 2024
TypeScript

baro77 /ZKbasicsCS

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

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

UpdatedSep 24, 2023

0xmoei /boundless

Detailed Guide to ZK Mining on Boundless PovW Netowrk

prover boundless risczero povw

UpdatedAug 15, 2025
Shell

0xmoei /Nexus-L1

Detailed Guide to Run a Prover on Nexus L1 blockchain!

blockchain nexus supercomputer prover

UpdatedJul 9, 2025

evhub /pyprover

Resolution theorem proving for predicate logic in pure Python.

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

UpdatedNov 20, 2023
Python

cicada-lang /cicada-plct

Cicada Language (PLCT little team)

language programming-language dependent-types repl type-theory type-system cicada prover interactive-theorem-proving theorem-prover dependent-record-types dependent-type-theory

UpdatedDec 25, 2024
TypeScript

thor314 /pebble-stark

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

community cryptography cairo stark prover zk zero-knowledge starkware

UpdatedOct 29, 2024
Rust

cheuktingli /psitip

Python Symbolic Information Theoretic Inequality Prover

python optimization information-theory theorem-proving first-order-logic prover theorem-prover

UpdatedJun 10, 2025
Python

c-cube /mc2

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

ocaml formal-methods smt prover mcsat

UpdatedJan 1, 2024
SMT

0xmoei /succinct

Detailed Guide to Run a Prover on Succinct network!

UpdatedJul 11, 2025
Shell

DigitalFormalLogic /mathesis

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

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

UpdatedDec 13, 2025
Python

c-cube /sidekick

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

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

UpdatedFeb 8, 2026
SMT

IBM /ULKB

A HOL-based framework for reasoning over knowledge graphs

logic knowledge-graph prover

UpdatedSep 17, 2025
Jupyter Notebook

jskri /modeling-with-tla

Tutorial on modeling with TLA+

checker model proof composition refinement prover tla conformance correct-by-construction

UpdatedOct 7, 2025
TLA

ulamai /ulamai

UlamAI is an open-source Lean theorem prover and formalizer.

ai mathematics prover lean4

UpdatedFeb 19, 2026
Python

iosis-tech /zetina

Shared peer-to-peer network of zero-knowledge provers

network p2p stark prover zk

UpdatedDec 5, 2024
Cairo

Improve this page

Add a description, image, and links to theprover topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with theprover topic, visit your repo's landing page and select "manage topics."

[8]ページ先頭

©2009-2026 Movatter.jp