GitHub - agoric-labs/jesc24: zoe 2 escrow, in jessie, formalized in OCPL / Iris / coq · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 15 Commits
.github/workflows		.github/workflows
theories/jessie		theories/jessie
vendor		vendor
.gitignore		.gitignore
Makefile		Makefile
_CoqProject		_CoqProject
flake.lock		flake.lock
flake.nix		flake.nix

About

zoe 2 escrow, in jessie, formalized in OCPL / Iris / coq

Custom properties

0 stars

0 watching

Report repository

Releases

No releases published

Packages

Contributors

Languages