-
Updated
Dec 7, 2020 - Isabelle
proof
Here are 284 public repositories matching this topic...
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…
-
Updated
Jun 7, 2018
-
Updated
May 10, 2018 - CSS
Formal proof with the Coq theorem prover of the equivalence of three semantics for a language describing the behavior of distributed systems.
-
Updated
May 13, 2021 - HTML
A concept implementation of a bitcoin mining server.
-
Updated
Jul 29, 2017 - C
A proof of concept for searching iTunes via c# mvc 5. [case study]
-
Updated
Jul 14, 2019 - CSS
Kodi audio addon for the ShadowProof podcasts
-
Updated
Oct 10, 2021 - Python
Proof that 20 glasses of Ouzo don't matter by Mathematical Induction
-
Updated
Feb 5, 2021
A small coq library for verifying OCaml native integer computations
-
Updated
Jul 2, 2024 - Coq
An system for visualising Ontologies through Concept and Property Diagrams
-
Updated
May 7, 2018 - Java
Given a graph grammar defined in AGG (.ggx) using a type graph, converts the file to a new one, usable in Rodin, containing the same definition.
-
Updated
Jan 18, 2018 - Java
Improve this page
Add a description, image, and links to the proof topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the proof topic, visit your repo's landing page and select "manage topics."