proof
Here are 13 public repositories matching this topic...
Web site for the Decentproof app
-
Updated
Jul 4, 2024 - HTML
The Definitive Guide to Dark Mode and Bootstrap 4 - A proof of concept
-
Updated
Apr 2, 2022 - HTML
This is a implementation of a basic blockchain structure in python, with all the description, and documentation of it's working and things.
-
Updated
Nov 18, 2021 - HTML
Formal proof with the Coq theorem prover of the correctness of an oracle algorithm for offline analysis of distributed logs against interaction models
-
Updated
May 13, 2021 - HTML
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
Formal proof with the Coq theorem prover that elements of some equivalence classes defined over a formal language of interactions describing the behavior of distributed systems have the same semantics.
-
Updated
Mar 1, 2021 - HTML
A Hash-less Adaptation of Schnorr's Digital Signature Algorithm Implemented in Python.
-
Updated
Aug 13, 2020 - HTML
Schnorr's Protocol - Demo
-
Updated
May 26, 2018 - HTML
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."