Reference implementation of the OpenRarity protocol with Python.
Python library for computational formal logic, formal semantics, and theorem proving
Research Math Agents, Official code release for our paper RMA
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
Lean coding problem solving challenge website with proof verification
MIRROR of https://codeberg.org/catseye/Maxixe : A simple proof checker
An SMT-based verifier and type inferencer for Python: proves contracts, equivalence, and trap-freedom (with counterexamples) over a Rocq trust base.
The D-POAF Framework (DECENTRALIZED PROOF ORIENTED AI FRAMEWORK), is an AI-native, Secure-By-Design and Sovereign Framework, that provides an ecosystem to reinvent software creation, supervision and security.
Wudder's Python SDK
Prove someone has a piece of data with certainty using a fast challenge-response algorithm that does not disclose any piece of said data.
Lean 4 proof verification without reference
Generate merkle proof of given addresses which can be used in solidity
Open protocol for machine-readable claims, evidence, attestations, provenance, and verification.
Archived: see https://github.com/andrew222651/semkon2
Simple, lightweight implementation of Merkle Trees in Python 3
A simple blockchain code with basic functionalities like signing transactions and proof of work
To associate your repository with the proof topic, visit your repo's landing page and select "manage topics."