GitHub repository: libtx/Storage
Primary language: Coq
Created: 2023-03-14T08:56:13Z
Description: THIS IS A WORK OF FICTION AND NOT an axiomatic abstraction of container