London, UK

Derek Sorensen

Expert
@dhsorens

protocol snarkification @ethereum

FinCert. An experimental repository developing formal tools to specify financial smart contracts in ConCert (Coq). Corresponds to the text of my PhD thesis.

9

LC3-Lean. A proof system in Lean for the LC-3 VM.

8

rholang. Rholang K-framework

3

coq-bigraphs. A Repository for Bigraphs

1

mrdt. Coq

1

cce-token-contract. JavaScript

1

FinCert-ConCert-fork. A framework for smart contract verification in Coq

1
7
Apply