Technology
Research
About
Blog
Contact
Careers

English

IOHK |

Library

About
Library

Library > Edsko de Vries

Edsko de Vries

Edsko de Vries

Software Engineer

Well-Typed

Netherlands

Formal specification for a Cardano wallet

Duncan Coutts,Edsko de Vries

July 2018, IOHK

IMPLEMENTATION PROOF-OF-STAKE

Technology

Cardano
Daedalus
Atala PRISM
Mantis

Media

Press
Media kit

Courses

Plutus

Legal

Data protection
Terms & Conditions

Social

Twitter
Facebook
GitHub
LinkedIn
YouTube
TikTok
Instagram