Reference implementation of the OpenRarity protocol with Python.
Generate an image (.png) simulating the donation of a nitro to a user
Python library for computational formal logic, formal semantics, and theorem proving
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
MIRROR of https://codeberg.org/catseye/Maxixe : A simple proof checker
Lean coding problem solving challenge website with proof verification
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.
Generate merkle proof of given addresses which can be used in solidity
LLM-based proof checker for codebases
Simple, lightweight implementation of Merkle Trees in Python 3
A simple blockchain code with basic functionalities like signing transactions and proof of work
Implementing a "Smart Blockchain" with python
A program that verifies proofs in the F0 proof system
Add a description, image, and links to the proof topic page so that developers can more easily learn about it.
To associate your repository with the proof topic, visit your repo's landing page and select "manage topics."