Pinned Loading

1. pnp pnp Public

   Lecture notes for a short course on proving/programming in Coq via SSReflect.

   Coq 175 19

2. Zilliqa/scilla Zilliqa/scilla Public archive

   Scilla - A Smart Contract Intermediate Level Language

   OCaml 250 76

3. verse-lab/toychain verse-lab/toychain Public

   A minimalistic blockchain consensus implemented and verified in Coq

   Coq 113 12

4. TyGuS/suslik TyGuS/suslik Public

   Synthesis of Heap-Manipulating Programs from Separation Logic

   Scala 129 21