Datatype Order Generator

swMATH28592MaRDI QIDQ40306FDOQ40306

Author name not available (Why is that?)

Cited In (2)

• Strong eventual consistency of the collaborative editing framework WOOT
• Light-Weight Containers for Isabelle: Efficient, Extensible, Nestable

This page was built for software: Datatype Order Generator