Containers

swMATH28591MaRDI QIDQ40305FDOQ40305

Author name not available (Why is that?)

Official website: https://github.com/coq-contribs/containers

Source code repository: https://github.com/coq-contribs/containers

Cited In (3)

• Datatype Order Generator
• FinFuns
• Light-weight containers for Isabelle: efficient, extensible, nestable

This page was built for software: Containers