THIS IS A WORK OF FICTION AND NOT an axiomatic abstraction of container
Primary LanguageCoq
No issues in this repository yet.