MIRROR of https://codeberg.org/catseye/Maxixe : A simple proof checker
-
Updated
Nov 10, 2023 - Python
MIRROR of https://codeberg.org/catseye/Maxixe : A simple proof checker
SENX ERC20 Token Smart Contract | Decentralized Governance | Sensus is a decentralized governance protocol for transparent administration . By deploying Sensus Protocol users can deploy Constituion X which enables smart contract based rules and guidelines which the users adhere too .Sensus uses Ballot Voting mechanism where users can vote on pro…
tokenization project
Various sorting algorithms formalised using the "sauto" component of CoqHammer 1.3.
Wudder's Python SDK
Formal proof with the Coq theorem prover of the equivalence of three semantics for a language describing the behavior of distributed systems.
The list of theorems of set theory, some of which accompanied by proofs written by myself using LaTeX.
an experimental concurrency proof for verified programming languages.
Formalisation of the linear lambda calculus in Coq
A concept implementation of a bitcoin mining server.
Compiling Concurrency Correctly—Verifying Software Transactional Memory
A proof of concept for searching iTunes via c# mvc 5. [case study]
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."