Datatype Order Generator

MaRDI QIDQ40306swMATHFDO

Official website https://www.isa-afp.org/entries/Datatype_Order_Generator.html

Cited in

(10)

• Strong eventual consistency of the collaborative editing framework WOOT
• Light-weight containers for Isabelle: efficient, extensible, nestable
• Logoot
• Containers
• FinFuns
• Certification_Monads
• Wooki
• woot-haskell
• wootjs
• Woot

This page was built for software: Datatype Order Generator