Highlights
- Pro
Block or Report
Block or report Coda-Coda
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
MartinLoefTheorem-Dissertation
MartinLoefTheorem-Dissertation PublicFormalising Martin Loef's Theorem Using Coq - Honours Dissertation
Coq 1
-
deepsea-1
deepsea-1 PublicForked from shentufoundation/deepsea
The DeepSEA programming language. Please note that this is a redacted version of DeepSEA, with many proofs excluded from it.
Coq 1
-
Crowdfunding
Crowdfunding PublicMaking use of the DeepSEA system, this repository demonstrates proving the correctness of a crowdfunding smart contract. This is a work in progress. Please be aware of the licensing conditions. See…
Coq
-
Alectryon-slides
Alectryon-slides PublicForked from cpitclaudel/alectryon-sle2020-talk
Slides for https://www.meetup.com/ethereum-engineering/events/290072964/
JavaScript
If the problem persists, check the GitHub status page or contact support.