3 Jun office hrs

[dckc]

repo scope: ocpl -> jesc · Issue #10 · agoric-labs/jesc24
jesc24/theories/jessie/make_counter.v at dc-jessie · agoric-labs/jesc24
jesc24/theories/jessie/docs/rocq-core.md at dc-jessie · agoric-labs/jesc24
SPIKE: toward correct-by-construction Zoe2 escrow by dckc · Pull Request #8184 · Agoric/agoric-sdk
Iris Project
agoric-sdk/packages/zoe/spec/jessie-iris.md at dc-escrow-formal · Agoric/agoric-sdk
Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts | Search Results | My Library | Zotero
ACL2 - Wikipedia
Goblins: Distributed Programming — Spritely Institute